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