diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:41:40 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-08-02 20:41:40 +0300 |
| commit | ef5a30e67615e1acc931e2f542b09f114ba30a97 (patch) | |
| tree | 6f99a27e320b0a90830475bb53afcdae050726ab /doc/gawkworkflow.texi | |
| parent | 0b5a1bcd8b7189cb2d3048ef8e8d39dd33e2bec6 (diff) | |
| parent | 48f02e6672003d218d4c0348a6add7931522603b (diff) | |
| download | egawk-ef5a30e67615e1acc931e2f542b09f114ba30a97.tar.gz egawk-ef5a30e67615e1acc931e2f542b09f114ba30a97.tar.bz2 egawk-ef5a30e67615e1acc931e2f542b09f114ba30a97.zip | |
Merge branch 'master' into feature/fix-comments
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 |