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