From: michael <michael>
Date: Sat, 10 Feb 2007 19:41:07 +0000 (+0000)
Subject: rename pci_7seg to raggedstone
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/raggedstone/commitdiff_plain/ad16d1e3db67bf7bf820254517c1df11f2db5569?hp=ad16d1e3db67bf7bf820254517c1df11f2db5569

rename pci_7seg to raggedstone
source files also moved, so be sure to do a cvs update -dp _without_
modified files!
---