From 7906fa5b78abc6a176f4f5e5014afef4aa34ee7a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Tue, 5 May 2015 12:01:07 +0200
Subject: Add gitignore for picosat

---
 scripts/picosat-959/.gitignore | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 scripts/picosat-959/.gitignore

(limited to 'scripts')

diff --git a/scripts/picosat-959/.gitignore b/scripts/picosat-959/.gitignore
new file mode 100644
index 0000000..829187e
--- /dev/null
+++ b/scripts/picosat-959/.gitignore
@@ -0,0 +1,8 @@
+config.h
+libpicosat.a
+makefile
+picogcnf
+picomcnf
+picomus
+picosat
+picomcs
-- 
cgit v1.2.3