]> git.zerfleddert.de Git - raggedstone/commit
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)
commitad16d1e3db67bf7bf820254517c1df11f2db5569
tree9d94590416d7066e2f6110b3e4640ba798f45054
parente8e63794ba14cbc0bea39aa83da92bf3b0975a80
rename pci_7seg to raggedstone
source files also moved, so be sure to do a cvs update -dp _without_
modified files!
common/xc3s1500.batch
heartbeat/Makefile
heartbeat/raggedstone.prj
heartbeat/raggedstone.xst
heartbeat/source/top_raggedstone.vhd
Impressum, Datenschutz