diff options
-rw-r--r-- | using-git.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/using-git.texinfo b/using-git.texinfo index 4b5e113..c1e4c40 100644 --- a/using-git.texinfo +++ b/using-git.texinfo @@ -272,7 +272,7 @@ And it is a bare repository, meaning that it only holds the data in the @file{.git} directory and cannot be used as the working directory, it is missing what is in Git called `index' -@footnote{Or `cache', an obsolete term} and +@footnote{Or `cache', an obsolete term.} and `working tree'. @example |