diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:39:01 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:39:01 +0300 |
| commit | 48f02e6672003d218d4c0348a6add7931522603b (patch) | |
| tree | 052246fdd311d0bcd540a5ab3c41187a7065a971 /doc/gawkworkflow.texi | |
| parent | 39a49e9e54b19cc8a51f8f6030bef65d7adf952f (diff) | |
| parent | 3998ed059bbcfc189cd0d6c5762913fbd4ff4e77 (diff) | |
| download | egawk-48f02e6672003d218d4c0348a6add7931522603b.tar.gz egawk-48f02e6672003d218d4c0348a6add7931522603b.tar.bz2 egawk-48f02e6672003d218d4c0348a6add7931522603b.zip | |
Merge branch 'gawk-4.2-stable'
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 |