GNU bug report logs - #76819
[PATCH v7 00/35] Add lint-hidden-cpe-vendors property

Previous Next

Full log

Message #74 received at 76819 <at> debbugs.gnu.org (full text, mbox):

From: Nicolas Graves <ngraves <at> ngraves.fr>
To: 76819 <at> debbugs.gnu.org
Cc: Nicolas Graves <ngraves <at> ngraves.fr>
Subject: [PATCH v7 22/35] gnu: highlight: Add lint-hidden-cpe-vendors property.
Date: Fri,  7 Mar 2025 19:38:51 +0100

* gnu/packages/pretty-print.scm (highlight)[properties]: Add
lint-hidden-cpe-vendors property.
---
 gnu/packages/pretty-print.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/pretty-print.scm b/gnu/packages/pretty-print.scm
index 621dc8bf9c..8721fbabe4 100644
--- a/gnu/packages/pretty-print.scm
+++ b/gnu/packages/pretty-print.scm
@@ -459,4 +459,5 @@ (define-public highlight
      "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"))))))
-- 
2.48.1

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.