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 |
annotations.js
|
Annotation export to self-contained zip
|
2023-02-23 18:52:21 +01: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
|
annotation count in tags.json
|
2023-02-23 18:55:09 +01:00 |