From: michael <michael>
Date: Sat, 10 Feb 2007 22:15:01 +0000 (+0000)
Subject: pci_7seg -> raggedstone
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/raggedstone/commitdiff_plain/dc35cfc7380eab00ef8f6620999a1dbb993bbc60?hp=62d4774b6575ee30921dd29e588c136101e17a7d

pci_7seg -> raggedstone
---

diff --git a/heartbeat/.cvsignore b/heartbeat/.cvsignore
index d3561fb..9839443 100644
--- a/heartbeat/.cvsignore
+++ b/heartbeat/.cvsignore
@@ -2,7 +2,7 @@ pci1.mcs
 pci1.prm
 pci2.mcs
 pci2.prm
-pci_7seg.bit
+raggedstone.bit
 timing.twr
 tmp
 _impact*