aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/.gitignore
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-06-13 19:24:25 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-06-13 19:24:25 -0400
commit022a1e52e0cf20f64d9cd6685c65d945c04eaecc (patch)
treec281cd871d008ae63640fbdd9ff5739e273cb224 /Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/.gitignore
parentMerge branch 'Vampire-New' into Vampire-New (diff)
downloadVIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.tar.gz
VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.tar.zst
VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.zip
remove Alloy solver copy
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/.gitignore')
-rw-r--r--Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/.gitignore3
1 files changed, 0 insertions, 3 deletions
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/.gitignore b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/.gitignore
deleted file mode 100644
index f2741e97..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
1/bin/
2/vql-gen/
3/xtend-gen/