Wed, 04 Dec 2024 16:51:58 UTC | login

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

Name/usr/share/doc/highlight/extras/highlight_pipe.php
Digest (sha256)a48f9fda73eace8c365a61bcae383fad49c1d72773059e922c49a41a28ec505e
Size4.18 KB
Modification timeTue, 28 May 2019 18:47:06 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMhighlight-3.52-3.fc31.riscv64.rpm