diff options
| author | J. Bruce Fields <bfields@citi.umich.edu> | 2007-03-18 01:40:13 +0100 |
|---|---|---|
| committer | J. Bruce Fields <bfields@citi.umich.edu> | 2007-03-19 02:53:50 +0100 |
| commit | 06e7ea37875e4ee4a0ada701d52e2466f344c0f3 (patch) | |
| tree | 218d1b4849b2489762879a3979277212450eba26 /Documentation/git-http-push.txt | |
| parent | user-manual.txt: fix a tiny typo. (diff) | |
| download | git-06e7ea37875e4ee4a0ada701d52e2466f344c0f3.tar.xz git-06e7ea37875e4ee4a0ada701d52e2466f344c0f3.zip | |
user-manual: Use def_ instead of ref_ for glossary references.
I'd like to start using references to the glossary in the user manual.
The "ref_" prefix for these references seems a little generic; so
replace with "def_".
Signed-off-by: "J. Bruce Fields" <bfields@citi.umich.edu>
Diffstat (limited to 'Documentation/git-http-push.txt')
0 files changed, 0 insertions, 0 deletions