/usr/share/doc/highlight/extras/highlight_pipe.php
4.03 KB
-rw-r--r--
File
- Name
- /usr/share/doc/highlight/extras/highlight_pipe.php
- Digest (sha256)
- 55d77adedb651fb40f79f0c2c840acfe3b84b70cf3197b6ee68c0ba2fa055bb7
- Size
- 4.03 KB
- Modification time
- Tue, 19 May 2026 20:07:57 UTC
- Flags
-
- documentation
- RPM
- highlight-4.20-5.fc45.riscv64.rpm