This file is indexed.

/usr/lib/grass72/tools/ is in grass-dev 7.2.0-2.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/lib/grass72/tools/g.echo application/x-sharedlib root:root 0o755 6.0 KB
/usr/lib/grass72/tools/g.html2man.py text/x-python root:root 0o755 1.6 KB
/usr/lib/grass72/tools/groff.py text/x-c++ root:root 0o644 7.1 KB
/usr/lib/grass72/tools/html.py text/x-c++ root:root 0o644 5.8 KB
/usr/lib/grass72/tools/mkhtml.py text/x-python root:root 0o755 8.9 KB