Filename: /////usr/share//doc//libmpdec3//

./Ninja\.