diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2020-10-11 16:16:27 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2020-10-11 16:16:27 +0300 |
| commit | dd9b0921ee9a6918279b3245d4373fdd1180ee13 (patch) | |
| tree | 6580e09426d41eed551be7f18d7b60bbf42cd3da /doc/gawkworkflow.texi | |
| parent | 2020ca77388eb288f1fa7ac1b2a8fecf970b2290 (diff) | |
| download | egawk-dd9b0921ee9a6918279b3245d4373fdd1180ee13.tar.gz egawk-dd9b0921ee9a6918279b3245d4373fdd1180ee13.tar.bz2 egawk-dd9b0921ee9a6918279b3245d4373fdd1180ee13.zip | |
Doc updates (spelling).
Diffstat (limited to 'doc/gawkworkflow.texi')
| -rw-r--r-- | doc/gawkworkflow.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gawkworkflow.texi b/doc/gawkworkflow.texi index e355bf61..0aa68825 100644 --- a/doc/gawkworkflow.texi +++ b/doc/gawkworkflow.texi @@ -486,7 +486,7 @@ features. If possible, new features should be done using @command{gawk}'s extension mechanism. If you want to add a user-visible language change to the @command{gawk} core, you're going to have to convince the maintainer -and other developers that it's really worthwile to do so. +and other developers that it's really worthwhile to do so. Changes that improve performance or portability, or that fix bugs, or that enable more things in extensions, |