developer import from sourceforge

2021-01-06 16:13:17 +01:00
parent 489adf0f88
commit 32ae77c7da
99 changed files with 2873 additions and 189 deletions
--- a/entries/domino_on_acid.md
+++ b/entries/domino_on_acid.md
@@ -9,6 +9,8 @@
 - Assets license: GPL-2.0
 - Developer: Matthias S. Benkmann

-Domino is a natural deduction visualization in the form of a game of unusual dominoes.
+Natural deduction visualization in the form of a game of unusual dominoes.

 ## Building
+
+- Build system: Ant