assets
|
Run in docker
|
2022-03-15 15:04:03 +01:00 |
annotate.html
|
Feature: give diagrams a title
|
2022-06-10 13:10:19 +02:00 |
annotate.js
|
Annotator: Nicer flow for log diagram title
|
2022-06-10 13:53:27 +02:00 |
annotations.js
|
Fix: selection glitch in annotation index
|
2022-06-14 17:31:49 +02:00 |
core.css
|
Run in docker
|
2022-03-15 15:04:03 +01:00 |
cursor.png
|
Run in docker
|
2022-03-15 15:04:03 +01:00 |
draw.html
|
Run in docker
|
2022-03-15 15:04:03 +01:00 |
draw.js
|
Alert on websocket close
|
2022-03-25 09:32:37 +01:00 |
play.html
|
Run in docker
|
2022-03-15 15:04:03 +01:00 |
play.js
|
Run in docker
|
2022-03-15 15:04:03 +01:00 |
playlist.js
|
Feature: give diagrams a title
|
2022-06-10 13:10:19 +02:00 |
tags.json
|
Latest tags file
|
2023-02-09 13:51:09 +01:00 |