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
|
Fix annotation color in annotator
|
2022-06-10 13:49:12 +02:00 |
annotations.js
|
Counts for tags in index
|
2022-06-08 18:51:22 +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 |
svganim.css
|
Feature: give diagrams a title
|
2022-06-10 13:10:19 +02:00 |
tags.json
|
WIP upgraded index, slash annotation editor
|
2022-06-08 17:26:30 +02:00 |