Sun, 01 Dec 2024 23:13:36 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 timeSat, 13 Oct 2018 19:26:45 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMhighlight-3.47-1.fc29.riscv64.rpm