3 Pull requests merged by 1 person

• Generate html files at build time (keeps HTML)

  #457 merged Jul 8, 2025

• href: RUN.html -> DOWNLOAD.html

  #452 merged Jul 7, 2025

• add only scripts/**.js to the war

  #456 merged Jul 7, 2025

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• validation by file upload fails on tomcat 11 (Unable to process parts as no multi-part configuration has been provided)

  #455 commented on Jul 8, 2025 • 0 new comments

• Remove the dependency on Jigsaw

  #449 commented on Jul 7, 2025 • 0 new comments