diff options
| author |  David Kastrup <dak@gnu.org> | 2007-08-08 17:34:28 +0200 |
|---|---|---|
| committer |  J. Bruce Fields <bfields@citi.umich.edu> | 2007-08-26 10:35:17 -0400 |
| commit | a115daff12d8d26975ff15a4278a212df2c8c70b (patch) | |
| tree | d93c5b1f61c46cdc4d19cf9fc01ffcf2da3469ac /contrib | |
| parent | user-manual: fix incorrect header level (diff) | |
| download | tgif-a115daff12d8d26975ff15a4278a212df2c8c70b.tar.xz | |
Documentation/user-manual.txt: fix a few omissions of gitlink commands.
Signed-off-by: David Kastrup <dak@gnu.org>
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions