From 7d3a3a317351d0f63f01a134f450bb81ba67fff7 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 14 Oct 2015 16:27:42 +0200
Subject: Added first help messages for cell types

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 484faf419..93e28cd6c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,6 +18,7 @@
 /yosys-abc
 /yosys-abc.exe
 /yosys-config
+/yosys-smtbmc
 /yosys-filterlib
 /yosys-filterlib.exe
 /kernel/version_*.cc
-- 
cgit v1.2.3