Bug fixes and small improvements#40

Merged

GJFR merged 15 commits intomainfrom

Dec 9, 2024

Commits on Nov 29, 2024

Commits on Dec 2, 2024

Fix bug where PoC editor would fail to send big PoC files to server.
GJFR
committed
Fix bug where production image would fail to fetch ace-editor script.
GJFR
committed

Commits on Dec 3, 2024

Fix route to /js/ folder in dev nginx
GJFR
committed