Sun, 24 Nov 2024 09:38:19 UTC | login

Information for file /usr/share/doc/jed/doc/manual/rgrep.1

Name/usr/share/doc/jed/doc/manual/rgrep.1
Digest (sha256)6fec64b79311851199b8037f5473d84ee278e79b31490ee79516361594b27229
Size3.77 KB
Modification timeMon, 14 Dec 2009 02:12:55 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMjed-0.99.19-18.fc31.riscv64.rpm