working jetty config

This commit is contained in:
2025-11-22 12:42:42 +01:00
parent b98cbf3615
commit 761eb6f4a6
8 changed files with 106 additions and 41 deletions

3
.gitignore vendored
View File

@@ -40,3 +40,6 @@ build/
### nix / direnv
.direnv
result
### jetty
.jetty/home