../ development/ 07-Feb-2025 19:32 - release/ 07-Feb-2025 19:32 - figput.html 07-Feb-2025 19:32 1063 layout.js 07-Feb-2025 19:32 22313 main.js 07-Feb-2025 19:32 39048 pdf.js 07-Feb-2025 19:32 363622 pdf.worker.min.js 07-Feb-2025 19:32 750273 pdfjs_license.txt 07-Feb-2025 19:32 10313 server.py 07-Feb-2025 19:32 8085 tikz.js 07-Feb-2025 19:32 46665 widgets.js 07-Feb-2025 19:32 104058