chiark / gitweb /
Change #<thing>#.<ext> filenames to _<thing>.<ext>
authorIan Jackson <ian@liberator.(none)>
Sun, 5 Jul 2009 10:49:13 +0000 (11:49 +0100)
committerIan Jackson <ian@liberator.(none)>
Sun, 5 Jul 2009 10:49:13 +0000 (11:49 +0100)

No differences found