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

./Ninja\.