Sun, 24 Nov 2024 09:42:01 UTC | login

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

Name/usr/share/doc/jed/doc/tm/rtl/mini.tm
Digest (sha256)7368648ef86ca320bb3a5709983f8d2b83fd4d9d7f48299a2777512f1d826c37
Size5.74 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