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