From 6eb760ee960cd3efe51ca6e4107153c09838a1da Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 1 Aug 2019 18:38:15 +0200 Subject: Clean up CPS and Satellite domains --- Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.gitignore | 1 + 1 file changed, 1 insertion(+) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.gitignore') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.gitignore index a71b16b9..2affc42f 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.gitignore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.gitignore @@ -1,4 +1,5 @@ /bin/ +/xtend-gen/ /problem.lp /solution.txt /model/cps_fixup.henshin -- cgit v1.2.3-70-g09d2