rename pci_7seg to raggedstone2007-02-10T19:41:07Zmichaelmichaelmichaelmichael2007-02-10T19:41:07Zhttps://git.zerfleddert.de/cgi-bin/gitweb.cgi/raggedstone/commitdiff/ad16d1e3db67bf7bf820254517c1df11f2db5569
rename pci_7seg to raggedstone
source files also moved, so be sure to do a cvs update -dp _without_
modified files!