diff options
author | Thomas Gummerer <t.gummerer@gmail.com> | 2018-05-30 21:52:54 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-06-01 09:24:11 +0900 |
commit | a27cd1ab7f1926085521352ca79d89e00d17911b (patch) | |
tree | 227f36e9d8d6edb77d98310e364f8fbbc4822d02 /git-gui/lib | |
parent | Git 2.17.1 (diff) | |
download | tgif-a27cd1ab7f1926085521352ca79d89e00d17911b.tar.xz |
SubmittingPatches: replace numbered attributes with names
Use names instead of numbers for the AsciiDoc attributes that are used
for the footnotes. We will add more footnotes in subsequent commits,
and attributes should ideally all be unique. Having named attributes
will help ensure uniqueness, and we won't have to re-number the
attributes if we add a footnote earlier in the document.
In addition it also clarifies that the attribute name/number is not
related to the number the footnote will get in the output.
Signed-off-by: Thomas Gummerer <t.gummerer@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/lib')
0 files changed, 0 insertions, 0 deletions