summaryrefslogtreecommitdiff
path: root/missing
diff options
context:
space:
mode:
authortege <tege@gmplib.org>2007-09-24 19:38:54 +0200
committertege <tege@gmplib.org>2007-09-24 19:38:54 +0200
commit471e0995f19f109376327a7a79cc2771f4f78c24 (patch)
treecc06ec2de4cbcc636d56354a438fe26c94ee8427 /missing
parent5d6a4d1b3023b5c068b77f8b0119edc898561296 (diff)
downloadgmp-471e0995f19f109376327a7a79cc2771f4f78c24.tar.gz
Revert accidental license header change.
Diffstat (limited to 'missing')
-rwxr-xr-xmissing4
1 files changed, 3 insertions, 1 deletions
diff --git a/missing b/missing
index 8859dfe4f..4c6e3b38b 100755
--- a/missing
+++ b/missing
@@ -18,7 +18,9 @@ scriptversion=2003-09-02.23
# GNU General Public License for more details.
# You should have received a copy of the GNU General Public License
-# along with this program. If not, see http://www.gnu.org/licenses/.
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+# 02110-1301, USA.
# As a special exception to the GNU General Public License, if you
# distribute this file as part of a program that contains a