Mon, 23 Dec 2024 21:30:41 UTC | login

Information for file /usr/share/doc/jed/doc/tm/rtl/terminal.tm

Name/usr/share/doc/jed/doc/tm/rtl/terminal.tm
Digest (sha256)79abacc025ad06a39557684180d330b41deed66e8bb9f37d31e2a5e2f571b219
Size4.09 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