Filename: /////usr/share///doc///libz3-4/copyright

./Ninja\.