]> git.zerfleddert.de Git - raggedstone/commitdiff
rename pci_7seg to raggedstone
authormichael <michael>
Sat, 10 Feb 2007 19:41:07 +0000 (19:41 +0000)
committermichael <michael>
Sat, 10 Feb 2007 19:41:07 +0000 (19:41 +0000)
source files also moved, so be sure to do a cvs update -dp _without_
modified files!


No differences found
Impressum, Datenschutz