From e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Wed, 15 May 2019 13:46:38 -0400
Subject: Formalize CPS case study for optimization

---
 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.gitignore

(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
new file mode 100644
index 00000000..ae3c1726
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.gitignore
@@ -0,0 +1 @@
+/bin/
-- 
cgit v1.2.3-54-g00ecf