ref: 4d3ec4c90bd7fd0fb989a5259dc4d0ff07ade9d8
parent: 5103093b16048b4ecaa8159fb76e43cfb3bebf09
author: Ori Bernstein <ori@eigenstate.org>
date: Tue Oct 27 11:54:46 EDT 2020
git(1): fix typos (thanks phil9)
--- a/git.1.man
+++ b/git.1.man
@@ -12,6 +12,7 @@
.B -r
]
.I path...
+.PP
.B git/rm
.I path...
.PP
@@ -238,7 +239,7 @@
.I .git
stripped off if present.
-·PP
+.PP
.B Git/push
is used to push the current changes to a remote repository.
When no arguments are provided, the remote repository is taken from