diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:43:56 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:43:56 +0300 |
| commit | b32c67e0f99672ad4104cee4695b5eb040df16f4 (patch) | |
| tree | f59c2329e2183fb12e4496306bb7893620bb966c /doc/gawkworkflow.texi | |
| parent | b98257919b20bdfc14f363761cc6215c1ad8bcee (diff) | |
| parent | 3998ed059bbcfc189cd0d6c5762913fbd4ff4e77 (diff) | |
| download | egawk-b32c67e0f99672ad4104cee4695b5eb040df16f4.tar.gz egawk-b32c67e0f99672ad4104cee4695b5eb040df16f4.tar.bz2 egawk-b32c67e0f99672ad4104cee4695b5eb040df16f4.zip | |
Merge branch 'gawk-4.2-stable' into feature/gnulib-regex
Diffstat (limited to 'doc/gawkworkflow.texi')
| -rw-r--r-- | doc/gawkworkflow.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/gawkworkflow.texi b/doc/gawkworkflow.texi index 2b971395..90b3c78c 100644 --- a/doc/gawkworkflow.texi +++ b/doc/gawkworkflow.texi @@ -28,10 +28,10 @@ @c applies to and all the info about who's publishing this edition @c These apply across the board. -@set UPDATE-MONTH November, 2017 +@set UPDATE-MONTH July, 2018 @set TITLE Participating in @command{gawk} Development -@set EDITION 0.7 +@set EDITION 0.71 @iftex @set DOCUMENT booklet @@ -903,8 +903,8 @@ the @command{gawk} maintainer recommends that you use are: @cindex configuration setting, @code{push.default} @cindex configuration setting, @code{pager.status} @example -$ @kbd{git config --global push.default=simple} @ii{Only push current branch} -$ @kbd{git config --global pager.status=true} @ii{Use pager for output of} git status +$ @kbd{git config --global push.default simple} @ii{Only push current branch} +$ @kbd{git config --global pager.status true} @ii{Use pager for output of} git status @end example @cindex @file{.gitconfig} file |