chiark / gitweb /
Handle refresh of changed files with non-ASCII names