diff options
| -rw-r--r--[-rwxr-xr-x] | doc/it/gawktexi.in | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in index a762d0ef..a762d0ef 100755..100644 --- a/doc/it/gawktexi.in +++ b/doc/it/gawktexi.in |
 |
index : egawk | |
| Enhanced GNU Awk | kaz@kylheku.com |
| aboutsummaryrefslogtreecommitdiffstats |