diff options
| author | Diego Henrique <gobr.null@gmail.com> | 2024-04-26 11:31:36 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-26 14:31:36 +0000 |
| commit | 69c1bd90be2d1502ace02601fff4dd362604c13f (patch) | |
| tree | 48c8e5d91f310878f1e6d2818fa2fdb0dfec2a06 | |
| parent | dd578cf2f134e915abdf41393fc08f29640fb9c9 (diff) | |
[DOC] Fix a typo in globals.rdoc
Noticed this small type while reading the docs.
| -rw-r--r-- | doc/globals.rdoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/globals.rdoc b/doc/globals.rdoc index 1bf78a60ab..1b51bb1b36 100644 --- a/doc/globals.rdoc +++ b/doc/globals.rdoc @@ -1,7 +1,7 @@ = Pre-Defined Global Variables Some of the pre-defined global variables have synonyms -that are available via module Engish. +that are available via module English. For each of those, the \English synonym is given. To use the module: |