Fri, 22 Nov 2024 18:12:28 UTC | 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, 24 May 2024 05:43:02 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMhighlight-4.12-2.fc41.riscv64.rpm