Build script for release

2026-06-19 07:11:02 +00:00 · 2020-07-27 20:49:20 -04:00
parent 77786af4d7
commit 1ae1cebab6
3 changed files with 34 additions and 26 deletions
@@ -3,3 +3,11 @@
 lib/

 dependency-reduced-pom.xml
+
+release/
+
+lint/in.jar
+
+lint/out.jar
+
+lint/mapping.txt