summaryrefslogtreecommitdiff
path: root/nongnu
diff options
context:
space:
mode:
authorJonathan Brielmaier <jonathan.brielmaier@web.de>2021-02-02 22:16:11 +0100
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2021-02-02 22:16:11 +0100
commit919727dcd45af372dccb0ad3dec752a01e1f1650 (patch)
tree2ecfd4c4f527ffbac1feb076abbbf6646999083a /nongnu
parentf4b1320b48ea3c84c111300106f381328f13d6d5 (diff)
nongnu: Add missing copyright headers for Isaac and me.
* nongnu/packages/coq.scm: Add copyright for Isaac Young. * nongnu/packages/linux.scm: Add copyright year for me.
Diffstat (limited to 'nongnu')
-rw-r--r--nongnu/packages/coq.scm1
-rw-r--r--nongnu/packages/linux.scm2
2 files changed, 2 insertions, 1 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm
index a0bad48..505df7d 100644
--- a/nongnu/packages/coq.scm
+++ b/nongnu/packages/coq.scm
@@ -1,5 +1,6 @@
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2020 Julien Lepiller <julien@lepiller.eu>
+;;; Copyright © 2021 Isaac Young <isyoung@pm.me>
;;;
;;; This file is not part of GNU Guix.
;;;
diff --git a/nongnu/packages/linux.scm b/nongnu/packages/linux.scm
index 706f267..c079c2b 100644
--- a/nongnu/packages/linux.scm
+++ b/nongnu/packages/linux.scm
@@ -3,7 +3,7 @@
;;; Copyright © 2019 Giacomo Leidi <goodoldpaul@autistici.org>
;;; Copyright © 2019 Timotej Lazar <timotej.lazar@araneo.si>
;;; Copyright © 2020 James Smith <jsubuntuxp@disroot.org>
-;;; Copyright © 2020 Jonathan Brielmaier <jonathan.brielmaier@web.de>
+;;; Copyright © 2020,2021 Jonathan Brielmaier <jonathan.brielmaier@web.de>
;;;
;;; This program is free software: you can redistribute it and/or modify
;;; it under the terms of the GNU General Public License as published by