diff options
Diffstat (limited to 'gmo2gmi.awk')
-rw-r--r-- | gmo2gmi.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gmo2gmi.awk b/gmo2gmi.awk index 9dd0c3d..4746dc1 100644 --- a/gmo2gmi.awk +++ b/gmo2gmi.awk @@ -42,6 +42,6 @@ END{ # print "=> ./index.gmi {🥭}" # print "=> ./index.gmi {🧆}" print "=> ./index.gmi {lenteja numérica}" - print "=> https://endefensadelsl.org/ppl_es.html ppl: licencia de producción de pares" + print "=> https://endefensadelsl.org/ppl_deed_es.html ppl: licencia de producción de pares" # fecha = system( "date -r " FILENAME " --rfc-3339=date" ) } |