diff options
| author | Antonio Giovanni Colombo <azc100@gmail.com> | 2022-05-22 09:27:28 +0200 |
|---|---|---|
| committer | Antonio Giovanni Colombo <azc100@gmail.com> | 2022-05-22 09:27:28 +0200 |
| commit | 4ecda23c200ea6f80c197b16c00bf91ca91a9dae (patch) | |
| tree | 6de437b4e06c0df805af8e01a23b98b61b68154a | |
| parent | 86291c81e0862baeaba047c3464370524434713b (diff) | |
| download | gawk-4ecda23c200ea6f80c197b16c00bf91ca91a9dae.tar.gz | |
update to gawktexi.in
| -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 |