chore(deps): update dependency org.jline:jline to v3.25.0

jbangdev · Dec 23, 2023 · c09fc30 · c09fc30
1 parent ef22d36
commit c09fc30
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/env.java b/env.java
@@ -7,7 +7,7 @@
 //usr/bin/env jbang "$0" "$@" ; exit $?
 //DEPS info.picocli:picocli:4.7.5
 //DEPS de.vandermeer:asciitable:0.3.2
-//DEPS org.jline:jline:3.23.0
+//DEPS org.jline:jline:3.25.0
 
 import de.vandermeer.asciitable.*;
 import picocli.CommandLine;

diff --git a/properties.java b/properties.java
@@ -1,7 +1,7 @@
 //usr/bin/env jbang "$0" "$@" ; exit $?
 //DEPS info.picocli:picocli:4.7.5
 //DEPS de.vandermeer:asciitable:0.3.2
-//DEPS org.jline:jline:3.23.0
+//DEPS org.jline:jline:3.25.0
 
 import de.vandermeer.asciitable.*;
 import de.vandermeer.asciithemes.a7.A7_Grids;