removed gitlink to non-existing minisat repo

haslab · Nov 13, 2020 · 848bb15 · 848bb15
1 parent cbe3d75
commit 848bb15
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/org.alloytools.satsolver.provider/extern/minisat/minisat b/org.alloytools.satsolver.provider/extern/minisat/minisat