2 directories, 9 files, 1.3 MiB
| Name | Modified (UTC) | Size |
|---|---|---|
| ../ | ||
| development/ | ||
| release/ | ||
| figput.html | 2022-07-21 07:09 | 1.0 KiB |
| layout.js | 2022-07-20 09:01 | 22 KiB |
| main.js | 2022-07-20 09:01 | 38 KiB |
| pdf.js | 2022-02-24 16:36 | 355 KiB |
| pdf.worker.min.js | 2022-02-24 17:01 | 733 KiB |
| pdfjs_license.txt | 2022-07-02 10:45 | 10 KiB |
| server.py | 2022-06-25 09:59 | 7.9 KiB |
| tikz.js | 2022-07-20 09:01 | 46 KiB |
| widgets.js | 2022-07-20 09:01 | 102 KiB |