Closed paulbarbu closed 11 years ago
fgrep
-ing the files in /wiki/old/
gave me no results outside the old
directory so I think it's safe to delete them since they are not referenced anywhere.
I don't know what to say about historical reasons, they could come in handy sometime and also they don't bother us for just occupying a few kilobytes.
What's your opinion guys?
ed159948d5086c6 Flavius removed the old files in the wiki, so this is solved.
Clean up the old/ directory on the wiki.