diff options
| -rw-r--r-- | using-git.texinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/using-git.texinfo b/using-git.texinfo index 7917506..d9bb7ac 100644 --- a/using-git.texinfo +++ b/using-git.texinfo @@ -1822,6 +1822,7 @@ Fix a grammaro (a grammatical error.) Abbreviation for `reference'. @item dir Abbreviation for `directory'. +@footnote{`Catalogue' and, for Windows folk, `folder' are synonyms for `directory'.} @item conf Abbreviation for `configuration' or `configure'. @item misc |