[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-25
From: |
Arnold Robbins |
Subject: |
[gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2588-g8850b28 |
Date: |
Wed, 12 Apr 2017 14:56:24 -0400 (EDT) |
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".
The branch, feature/api-mpfr has been updated
via 8850b2870ae9665b302dd4d3035449a2a371ff27 (commit)
via ec0c2d411eac8362f18572b2d8bd8617368b3ca6 (commit)
from 3d3073c25712bb085b07357c7d35b70ce9063ded (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=8850b2870ae9665b302dd4d3035449a2a371ff27
commit 8850b2870ae9665b302dd4d3035449a2a371ff27
Merge: 3d3073c ec0c2d4
Author: Arnold D. Robbins <address@hidden>
Date: Wed Apr 12 21:56:14 2017 +0300
Merge branch 'master' into feature/api-mpfr
-----------------------------------------------------------------------
Summary of changes:
doc/gawkworkflow.texi | 0
doc/it/api-figura1.eps | 0
doc/it/api-figura1.fig | 0
doc/it/api-figura1.pdf | Bin
doc/it/api-figura1.png | Bin
doc/it/api-figura1.txt | 0
doc/it/api-figura2.eps | 0
doc/it/api-figura2.fig | 0
doc/it/api-figura2.pdf | Bin
doc/it/api-figura2.png | Bin
doc/it/api-figura2.txt | 0
doc/it/api-figura3.eps | 0
doc/it/api-figura3.fig | 0
doc/it/api-figura3.pdf | Bin
doc/it/api-figura3.png | Bin
doc/it/api-figura3.txt | 0
doc/it/epsf.tex | 0
doc/it/flusso-elaborazione.eps | 0
doc/it/flusso-elaborazione.fig | 0
doc/it/flusso-elaborazione.pdf | Bin
doc/it/flusso-elaborazione.png | Bin
doc/it/flusso-elaborazione.txt | 0
doc/it/gawk-it.texi | 46902 ---------------------------------------
doc/it/gawk.texi | 46902 ---------------------------------------
doc/it/gawktexi.in | 0
doc/it/lflashlight-small.xpic | 0
doc/it/lflashlight.eps | 0
doc/it/lflashlight.pdf | 0
doc/it/margini.texi | 0
doc/it/programma-generico.eps | 0
doc/it/programma-generico.fig | 0
doc/it/programma-generico.pdf | Bin
doc/it/programma-generico.png | Bin
doc/it/programma-generico.txt | 0
doc/it/rflashlight-small.xpic | 0
doc/it/rflashlight.eps | 0
doc/it/rflashlight.pdf | 0
doc/it/sidebar.awk | 0
doc/it/texinfo.tex | 0
doc/it/txi-it.tex | 0
doc/it/vettore-elementi.eps | 0
doc/it/vettore-elementi.fig | 0
doc/it/vettore-elementi.pdf | Bin
doc/it/vettore-elementi.png | Bin
doc/it/vettore-elementi.txt | 0
test/arrayind1.awk | 0
test/poundbang.awk | 0
47 files changed, 93804 deletions(-)
mode change 100755 => 100644 doc/gawkworkflow.texi
mode change 100755 => 100644 doc/it/api-figura1.eps
mode change 100755 => 100644 doc/it/api-figura1.fig
mode change 100755 => 100644 doc/it/api-figura1.pdf
mode change 100755 => 100644 doc/it/api-figura1.png
mode change 100755 => 100644 doc/it/api-figura1.txt
mode change 100755 => 100644 doc/it/api-figura2.eps
mode change 100755 => 100644 doc/it/api-figura2.fig
mode change 100755 => 100644 doc/it/api-figura2.pdf
mode change 100755 => 100644 doc/it/api-figura2.png
mode change 100755 => 100644 doc/it/api-figura2.txt
mode change 100755 => 100644 doc/it/api-figura3.eps
mode change 100755 => 100644 doc/it/api-figura3.fig
mode change 100755 => 100644 doc/it/api-figura3.pdf
mode change 100755 => 100644 doc/it/api-figura3.png
mode change 100755 => 100644 doc/it/api-figura3.txt
mode change 100755 => 100644 doc/it/epsf.tex
mode change 100755 => 100644 doc/it/flusso-elaborazione.eps
mode change 100755 => 100644 doc/it/flusso-elaborazione.fig
mode change 100755 => 100644 doc/it/flusso-elaborazione.pdf
mode change 100755 => 100644 doc/it/flusso-elaborazione.png
mode change 100755 => 100644 doc/it/flusso-elaborazione.txt
delete mode 100644 doc/it/gawk-it.texi
delete mode 100644 doc/it/gawk.texi
mode change 100755 => 100644 doc/it/gawktexi.in
mode change 100755 => 100644 doc/it/lflashlight-small.xpic
mode change 100755 => 100644 doc/it/lflashlight.eps
mode change 100755 => 100644 doc/it/lflashlight.pdf
mode change 100755 => 100644 doc/it/margini.texi
mode change 100755 => 100644 doc/it/programma-generico.eps
mode change 100755 => 100644 doc/it/programma-generico.fig
mode change 100755 => 100644 doc/it/programma-generico.pdf
mode change 100755 => 100644 doc/it/programma-generico.png
mode change 100755 => 100644 doc/it/programma-generico.txt
mode change 100755 => 100644 doc/it/rflashlight-small.xpic
mode change 100755 => 100644 doc/it/rflashlight.eps
mode change 100755 => 100644 doc/it/rflashlight.pdf
mode change 100755 => 100644 doc/it/sidebar.awk
mode change 100755 => 100644 doc/it/texinfo.tex
mode change 100755 => 100644 doc/it/txi-it.tex
mode change 100755 => 100644 doc/it/vettore-elementi.eps
mode change 100755 => 100644 doc/it/vettore-elementi.fig
mode change 100755 => 100644 doc/it/vettore-elementi.pdf
mode change 100755 => 100644 doc/it/vettore-elementi.png
mode change 100755 => 100644 doc/it/vettore-elementi.txt
mode change 100755 => 100644 test/arrayind1.awk
mode change 100755 => 100644 test/poundbang.awk
hooks/post-receive
--
gawk
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [gawk-diffs] [SCM] gawk branch, feature/api-mpfr, updated. gawk-4.1.0-2588-g8850b28,
Arnold Robbins <=