java/jump: Remove port

Niche use case, not aligned with broad server application needs
This commit is contained in:
2025-05-06 23:21:18 +02:00
parent 5c9edf8ed4
commit 22c8e20939
5 changed files with 1 additions and 38 deletions
-1
View File
@@ -52,7 +52,6 @@
SUBDIR += jrosetta
SUBDIR += jta
SUBDIR += jtiger
SUBDIR += jump
SUBDIR += junit
SUBDIR += jxgrabkey
SUBDIR += lightweight-java-profiler