Documentation/user-manual.txt: fix a few omissions of gitlink commands.
authorDavid Kastrup <dak@gnu.org>
Wed, 8 Aug 2007 15:34:28 +0000 (17:34 +0200)
committerJ. Bruce Fields <bfields@citi.umich.edu>
Sun, 26 Aug 2007 14:31:30 +0000 (10:31 -0400)
commit6e30fb0c3241ecdf1ac47c1495bc3b58a0dc6f05
treecb1e1d14403ee7dbb09113c1b0ec2881954a86e9
parent0058a33a8eb5a8bfcfc5f5e769a2517cff4b73f1
Documentation/user-manual.txt: fix a few omissions of gitlink commands.

Signed-off-by: David Kastrup <dak@gnu.org>
Documentation/user-manual.txt