Filename: ////usr/share/python3//debpython//option.py

./Ninja\.