Push

AlloyTools · May 21, 2024 · 6e3f0cb · 6e3f0cb
1 parent 0478106
commit 6e3f0cb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/org.alloytools.pardinus.native/native-code/Makefile b/org.alloytools.pardinus.native/native-code/Makefile
@@ -3,7 +3,6 @@
 # All native code will end up in ../native/OS/ARCH. OS=[darwin,linux,windows], ARCH=[amd64,arm64]
 #
 
-
 DIRS = native/linux/amd64 native/windows/amd64 native/darwin/amd64 native/darwin/arm64
 REPOS= minisat glucose lingeling minisatprover
 CLASSPATH = ../target/classes:../../org.alloytools.pardinus.core/target/classes