diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2017-07-28 10:32:58 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-07-28 10:32:58 +0300 |
commit | 1ec92fce7023c4f10e50149b776a7bb9a538ebe9 (patch) | |
tree | b850a7f0688f716daa26c6427bed02a79737b86b /awklib/eg | |
parent | fbbdaee631ac81845fac662502ac972c5846c945 (diff) | |
parent | 12385433e64d8c2c497765d9834bf0e20e1a602d (diff) | |
download | gawk-1ec92fce7023c4f10e50149b776a7bb9a538ebe9.tar.gz |
Merge branch 'master' into feature/api-mpfr
Diffstat (limited to 'awklib/eg')
-rw-r--r-- | awklib/eg/lib/inplace.awk | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/awklib/eg/lib/inplace.awk b/awklib/eg/lib/inplace.awk index 505be76d..6771bc45 100644 --- a/awklib/eg/lib/inplace.awk +++ b/awklib/eg/lib/inplace.awk @@ -1,4 +1,26 @@ # inplace --- load and invoke the inplace extension. +# +# Copyright (C) 2013, 2017 the Free Software Foundation, Inc. +# +# This file is part of GAWK, the GNU implementation of the +# AWK Programming Language. +# +# GAWK is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# GAWK is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA +# +# Andrew J. Schorr, aschorr@telemetry-investments.com +# January 2013 @load "inplace" |