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