diff options
author | Nicolas Graves <ngraves@ngraves.fr> | 2025-03-07 00:56:03 +0100 |
---|---|---|
committer | Zheng Junjie <z572@z572.online> | 2025-06-23 12:32:51 +0800 |
commit | d7cad72aca34242d0c716f8ba9b25b996e1a8b69 (patch) | |
tree | 6e19d37c69f58885289f6736985c5b8fcedb1794 | |
parent | 6112eff59ac7389ca6f3f2b6899bed9041c33156 (diff) |
gnu: highlight: Add lint-hidden-cpe-vendors property.
* gnu/packages/pretty-print.scm (highlight)[properties]: Add
lint-hidden-cpe-vendors property.
Signed-off-by: Zheng Junjie <z572@z572.online>
-rw-r--r-- | gnu/packages/pretty-print.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/pretty-print.scm b/gnu/packages/pretty-print.scm index d9192e953c..d1bae06a53 100644 --- a/gnu/packages/pretty-print.scm +++ b/gnu/packages/pretty-print.scm @@ -515,4 +515,5 @@ seen in a terminal.") "Highlight converts source code to HTML, XHTML, RTF, LaTeX, TeX, SVG, BBCode and terminal escape sequences with colored syntax highlighting. Language definitions and color themes are customizable.") - (license gpl3+))) + (license gpl3+) + (properties '((lint-hidden-cpe-vendors . ("highlight")))))) |