Thu, 19 Dec 2024 15:17:49 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-19.fc33.riscv64.rpm