File Name | File Size | Date |
---|---|---|
Parent directory/ | - | - |
development/ | - | 22-Jul-2022 09:41 |
release/ | - | 22-Jul-2022 09:41 |
figput.html | 1063 | 21-Jul-2022 07:09 |
layout.js | 22313 | 20-Jul-2022 09:01 |
main.js | 39048 | 20-Jul-2022 09:01 |
pdf.js | 363622 | 24-Feb-2022 16:36 |
pdf.worker.min.js | 750273 | 24-Feb-2022 17:01 |
pdfjs_license.txt | 10313 | 02-Jul-2022 10:45 |
server.py | 8085 | 25-Jun-2022 09:59 |
tikz.js | 46665 | 20-Jul-2022 09:01 |
widgets.js | 104058 | 20-Jul-2022 09:01 |