Filename: ///usr/share/////doc///php5.6-readline/EXTENSIONS.gz

./Ninja\.