From c7287a1f55555a478abdbc83e5e5d582599add58 Mon Sep 17 00:00:00 2001 From: Adam Kazimierz Sieradzan Date: Wed, 27 Jun 2012 07:39:16 -0400 Subject: [PATCH] git ignore --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 8a8f64c..8a37c6b 100644 --- a/.gitignore +++ b/.gitignore @@ -14,4 +14,4 @@ gradcheck/ mapcheck/ run/ sympcheck/ - +compinfo -- 1.7.9.5