Thu, 28 Nov 2024 05:05:20 CST | login

Information for file /usr/share/doc/highlight/extras/highlight_pipe.php

Name/usr/share/doc/highlight/extras/highlight_pipe.php
Digest (sha256)55d77adedb651fb40f79f0c2c840acfe3b84b70cf3197b6ee68c0ba2fa055bb7
Size4.03 KB
Modification timeFri, 19 May 2023 19:27:59 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMhighlight-4.6-3.ocs23.x86_64.rpm