branch: main
commit e17f90cca154a02ffe3b5048a6dd4526c09bfeef
Author: Stefan Monnier <monn...@iro.umontreal.ca>
Commit: Stefan Monnier <monn...@iro.umontreal.ca>
copyright_exceptions (eev/eev-lean4.el): New entry
---
copyright_exceptions | 1 +
1 file changed, 1 insertion(+)
diff --git a/copyright_exceptions b/copyright_exceptions
index 1a81f98ef6..3712fff9da 100644
--- a/copyright_exceptions
+++ b/copyright_exceptions
@@ -38,6 +38,7 @@ capf-autosuggest/capf-autosuggest.el:;; assignment to the
FSF, see info node "(e
capf-autosuggest/capf-autosuggest.el:;; package is stored in GNU ELPA,
non-trivial patches require copyright
coterm/coterm.el:;; assignment to the FSF, see info node "(emacs) Copyright
Assignment".
coterm/coterm.el:;; package is stored in GNU ELPA, non-trivial patches require
copyright
+eev/eev-lean4.el:;; Try: ({k2}l \"Copyright\")
excorporate/excorporate-calfw.el:;; copyright assignment papers on file with
the FSF.
hyperbole/hib-doc-id.el:;; Copyright:
hyperbole/kotl/kotl-autoloads.el
