diff options
-rw-r--r-- | doc/it/ChangeLog | 4 | ||||
-rwxr-xr-x | doc/it/gawktexi.in | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog index 4fb08855..d4489360 100644 --- a/doc/it/ChangeLog +++ b/doc/it/ChangeLog @@ -1,3 +1,7 @@ +2022-05-22 Antonio Giovanni Colombo <azc100@gmail.com> + + * gawktexi.in: Updated. + 2022-05-11 Antonio Giovanni Colombo <azc100@gmail.com> * gawktexi.in: Updated. diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in index 1628fa45..0fd31b51 100755 --- a/doc/it/gawktexi.in +++ b/doc/it/gawktexi.in @@ -47242,6 +47242,9 @@ Wikipedia} su @command{awk} per informazioni su ulteriori versioni. Un'interessante raccolta di funzioni di libreria @`e disponibile sul sito @uref{https://github.com/e36freak/awk-libs}. +Un'interessante raccolta di estensioni per @command{gawk} @`e disponibile sul sito +@uref{https://github.com/su8/gawk-extensions}. + @node Sommario dell'installazione @appendixsec Sommario |