update ci tool

KeYProject · Mar 31, 2024 · dca5411 · dca5411
1 parent 2021e30
commit dca5411
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/tools/key-citool-1.6.0-mini.jar b/tools/key-citool-1.6.0-mini.jar