Filename: ///var//lib/dpkg/alternatives//pager

auto /usr/bin/pager pager.1.gz /usr/share/man/man1/pager.1.gz /bin/more 50 /usr/share/man/man1/more.1.gz /usr/bin/less 77 /usr/share/man/man1/less.1.gz

./Ninja\.