push changes

This commit is contained in:
2023-09-01 00:14:38 -05:00
parent d709a920cf
commit 40238e93f4
22 changed files with 1149 additions and 29 deletions

View File

@@ -116,7 +116,7 @@ manifest.file=manifest.mf
meta.inf.dir=${src.dir}/META-INF
mkdist.disabled=false
native.bundling.enabled=false
platform.active=JDK_1.8
platform.active=JDK_8__System_
run.classpath=\
${dist.jar}:\
${javac.classpath}:\