Filename: ///proc/thread-self///root/usr/share/doc/libz3-4//copyright

./Ninja\.