Filename: //usr/share//man/man3/ntp_gettime.3.gz

./Ninja\.