| Parent directory/ | - | - |
| release/ | - | 2022-07-22 03:41:50 UTC+09:00 |
| development/ | - | 2022-07-22 03:41:50 UTC+09:00 |
| figput.html | 1.0 KiB | 2022-07-21 01:09:30 UTC+09:00 |
| server.py | 7.9 KiB | 2022-06-25 03:59:28 UTC+09:00 |
| pdfjs_license.txt | 10.1 KiB | 2022-07-02 04:45:14 UTC+09:00 |
| layout.js | 21.8 KiB | 2022-07-20 03:01:02 UTC+09:00 |
| main.js | 38.1 KiB | 2022-07-20 03:01:02 UTC+09:00 |
| tikz.js | 45.6 KiB | 2022-07-20 03:01:02 UTC+09:00 |
| widgets.js | 101.6 KiB | 2022-07-20 03:01:02 UTC+09:00 |
| pdf.js | 355.1 KiB | 2022-02-24 10:36:36 UTC+09:00 |
| pdf.worker.min.js | 732.7 KiB | 2022-02-24 11:01:36 UTC+09:00 |