Filename: //bin/dotty

./Ninja\.