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