in support/retro_contest/docker.py [0:0]
def convert_path(path): if sys.platform.startswith('win') and path[1] == ':': path = '/%s%s' % (path[0].lower(), path[2:].replace('\\', '/')) return path