diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/version-control.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/version-control.scm b/gnu/packages/version-control.scm index b1dcb4592b9..c53fc0c64f8 100644 --- a/gnu/packages/version-control.scm +++ b/gnu/packages/version-control.scm @@ -3146,6 +3146,7 @@ patch associated with a particular revision of an RCS file.") Configuration Management (SCM). Using it, you can record the history of sources files, and documents. It fills a similar role to the free software RCS, PRCS, and Aegis packages.") + (properties '((lint-hidden-cpe-vendors . ("jenkins")))) (license license:gpl1+))) (define-public cvs-fast-export |