diff options
Diffstat (limited to 'lib-src/globs2ere.awk')
-rw-r--r-- | lib-src/globs2ere.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib-src/globs2ere.awk b/lib-src/globs2ere.awk index 064a2c41..c5bb43be 100644 --- a/lib-src/globs2ere.awk +++ b/lib-src/globs2ere.awk @@ -11,7 +11,7 @@ # 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, see <https://www.gnu.org/licenses/>. # Where each input record is a glob, output a single ERE matching the # disjunction of all the non-empty input records. |