From 4d631d279841d5d5c243568aa7dd37ef848e581d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Thu, 3 Oct 2013 23:02:07 +0200
Subject: [PATCH] Add coalg, coalgcompare to .gitignore

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index cf100fb..5ecb4c9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,6 @@
 *.cmxa
 *.cmi
 *.cmx
+# executable files
+coalg
+coalgcompare
-- 
GitLab