]> git.zerfleddert.de Git - raggedstone/commitdiff
pci_7seg -> raggedstone
authormichael <michael>
Sat, 10 Feb 2007 22:15:01 +0000 (22:15 +0000)
committermichael <michael>
Sat, 10 Feb 2007 22:15:01 +0000 (22:15 +0000)
heartbeat/.cvsignore

index d3561fbd378a4d9f6980510031079759d1c63d6e..983944307df35d666036b59f15d01d812937434d 100644 (file)
@@ -2,7 +2,7 @@ pci1.mcs
 pci1.prm
 pci2.mcs
 pci2.prm
-pci_7seg.bit
+raggedstone.bit
 timing.twr
 tmp
 _impact*
Impressum, Datenschutz