From c2d30d2ba904dca8a054f09d0bad2abb1a409573 Mon Sep 17 00:00:00 2001
From: Jan Wielemaker <wielemak@science.uva.nl>
Date: Wed, 27 Aug 2008 10:24:14 +0200
Subject: [PATCH] Give CHR its own ignore file

---
 .gitignore | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..6baa343
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,17 @@
+*~
+*.o
+*.so
+*.obj
+*.dll
+Makefile
+chr.pl
+chr_translate.pl
+chr_translate_bootstrap1.pl
+chr_translate_bootstrap2.pl
+guard_entailment.pl
+config.h
+config.h.in
+config.log
+config.status
+configure
+autom4te.cache
-- 
2.11.4.GIT