Fri, 13 Dec 2024 16:33:37 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 timeThu, 14 May 2020 19:44:20 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMhighlight-3.57-1.fc33.riscv64.rpm