Commit 46e90ae41aa51fa9693f9a82e59e415b029349f7

Stefan Sperling 2019-07-28T15:27:26

remote duplicate .Pp in man page

1
2
3
4
5
6
7
8
9
10
11
12
diff --git a/got/got.1 b/got/got.1
index a8a7dff..74a3c8d 100644
--- a/got/got.1
+++ b/got/got.1
@@ -990,7 +990,6 @@ repository with
 .Dl $ cd /var/git/repo
 .Dl $ git push origin master
 .Pp
-.Pp
 .Sh SEE ALSO
 .Xr tog 1 ,
 .Xr git-repository 5 ,