diff options
author | Mattias Andrée <maandree@operamail.com> | 2013-10-25 00:07:15 +0200 |
---|---|---|
committer | Mattias Andrée <maandree@operamail.com> | 2013-10-25 00:07:15 +0200 |
commit | 51bf63324c6cda365cffdbdaedf70763a944cf46 (patch) | |
tree | e8905dba9f1bd589dd8d4384901a6e59c5387632 | |
parent | grammaro or typo (diff) | |
download | using-git-51bf63324c6cda365cffdbdaedf70763a944cf46.tar.gz using-git-51bf63324c6cda365cffdbdaedf70763a944cf46.tar.bz2 using-git-51bf63324c6cda365cffdbdaedf70763a944cf46.tar.xz |
missing period
Signed-off-by: Mattias Andrée <maandree@operamail.com>
-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 |