diff options
Diffstat (limited to '')
| -rw-r--r-- | options/license/Libtool-exception | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/options/license/Libtool-exception b/options/license/Libtool-exception new file mode 100644 index 0000000..729b1e9 --- /dev/null +++ b/options/license/Libtool-exception @@ -0,0 +1 @@ +As a special exception to the GNU General Public License, if you distribute this file as part of a program or library that is built using GNU Libtool, you may include this file under the same distribution terms that you use for the rest of that program. |