diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-06-08 23:17:50 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-06-08 23:23:33 +0200 |
commit | 5abfa08d676efb11e6b1cc98a8be397c19da4b53 (patch) | |
tree | 31e5ca2a471f2b0351aac03733f26d282fb2f132 /doc | |
parent | 10f4353dd6a89076a9088456f164109f9719d7cc (diff) | |
download | patches-5abfa08d676efb11e6b1cc98a8be397c19da4b53.tar patches-5abfa08d676efb11e6b1cc98a8be397c19da4b53.tar.gz |
doc: Add Hartmut to the @copying section.
* doc/guix.texi: Add a copyright line for Hartmut.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/guix.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index d6275fe7ae..87aaae8545 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -37,7 +37,8 @@ Copyright @copyright{} 2017 Carlo Zancanaro@* Copyright @copyright{} 2017 Thomas Danckaert@* Copyright @copyright{} 2017 humanitiesNerd@* Copyright @copyright{} 2017 Christopher Allan Webber@* -Copyright @copyright{} 2017 Marius Bakke +Copyright @copyright{} 2017 Marius Bakke@* +Copyright @copyright{} 2017 Hartmut Goebel Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or |