diff options
| -rw-r--r-- | doc/guix.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 710cf97673..56cc333fe4 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -72,6 +72,7 @@ Copyright @copyright{} 2019 Guillaume Le Vaillant@* Copyright @copyright{} 2020 Leo Prikler@* Copyright @copyright{} 2019, 2020 Simon Tournier@* Copyright @copyright{} 2020 Wiktor Żelazny@* +Copyright @copyright{} 2020 Damien Cassou@* Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or |