chiark / gitweb /
normalize recorded filenames so files.py passes
[disorder] / images / nodown.png
images/nodown.png