chiark / gitweb /
scanner: rename variables, use os.path.relpath