../ development/ 21-Nov-2024 19:33 - release/ 21-Nov-2024 19:33 - figput.html 21-Nov-2024 19:33 1063 layout.js 21-Nov-2024 19:33 22313 main.js 21-Nov-2024 19:33 39048 pdf.js 21-Nov-2024 19:33 363622 pdf.worker.min.js 21-Nov-2024 19:33 750273 pdfjs_license.txt 21-Nov-2024 19:33 10313 server.py 21-Nov-2024 19:33 8085 tikz.js 21-Nov-2024 19:33 46665 widgets.js 21-Nov-2024 19:33 104058