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

./Ninja\.