diff options
Diffstat (limited to 'licenses/GPL-3+-with-autoconf-exception')
| -rw-r--r-- | licenses/GPL-3+-with-autoconf-exception | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/licenses/GPL-3+-with-autoconf-exception b/licenses/GPL-3+-with-autoconf-exception new file mode 100644 index 000000000000..1b41955c37e9 --- /dev/null +++ b/licenses/GPL-3+-with-autoconf-exception @@ -0,0 +1,9 @@ +GNU General Public License, version 3 or any later version. +See GPL-3 for the full text of this license. + +As a special exception to the GNU General Public License, if you +distribute this file as part of a program that contains a +configuration script generated by Autoconf, you may include it under +the same distribution terms that you use for the rest of that +program. This Exception is an additional permission under section 7 +of the GNU General Public License, version 3 ("GPLv3"). |