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