-
Jeroen authored
I replaced much of the giffies filenames with more human-readable ones. Yes this implies a lot of removing and replacing giffies. Expect some more cvs updates. :)
cfe8e43f
I replaced much of the giffies filenames with more human-readable ones. Yes this implies a lot of removing and replacing giffies. Expect some more cvs updates. :)