diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2018-05-25 09:57:24 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-05-25 09:57:24 +0300 |
commit | e4c4d7bdb58cc90d8397a5d7d72d03974ad6a5fb (patch) | |
tree | e46245f16373a337a2d003744e4a691a3c7bf315 | |
parent | fe18b51cdabcc4d0d035c69de858db831b609d1a (diff) | |
parent | 94916f2066cc45507ac9605dfc897f63eb3f0ea0 (diff) | |
download | egawk-e4c4d7bdb58cc90d8397a5d7d72d03974ad6a5fb.tar.gz egawk-e4c4d7bdb58cc90d8397a5d7d72d03974ad6a5fb.tar.bz2 egawk-e4c4d7bdb58cc90d8397a5d7d72d03974ad6a5fb.zip |
Merge branch 'master' into feature/fix-comments
-rw-r--r-- | doc/it/ChangeLog | 4 | ||||
-rw-r--r-- | doc/it/gawktexi.in | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog index 1bf942e5..f43ab1a3 100644 --- a/doc/it/ChangeLog +++ b/doc/it/ChangeLog @@ -1,3 +1,7 @@ +2018-05-25 Antonio Giovanni Colombo <azc100@gmail.com> + + * gawktexi.in: Updates. + 2018-05-14 Antonio Giovanni Colombo <azc100@gmail.com> * gawktexi.in: Updates. diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in index 6e141866..98fd9f4d 100644 --- a/doc/it/gawktexi.in +++ b/doc/it/gawktexi.in @@ -16298,7 +16298,7 @@ l'ordine in cui gli indici dei vettori saranno elaborati nei cicli @samp{for (@var{indice} in @var{vettore})}. Questa @`e una funzionalit@`a avanzata, la cui descrizione completa sar@`a vista pi@`u avanti; si veda -@ref{Visitare un intero vettore}. +@ref{Controllare visita}. @end table @cindex @code{RLENGTH}, variabile |