diff options
Diffstat (limited to 'options/license/Libtool-exception')
| -rw-r--r-- | options/license/Libtool-exception | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/options/license/Libtool-exception b/options/license/Libtool-exception deleted file mode 100644 index 729b1e9530..0000000000 --- a/options/license/Libtool-exception +++ /dev/null @@ -1 +0,0 @@ -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. |