diff options
| author | Christian Hesse <mail@eworm.de> | 2018-06-05 12:46:13 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2018-06-27 18:01:29 +0200 |
| commit | 0bb34ef130f05b865ee2a34d196ea6352590f673 (patch) | |
| tree | a3e3246b933af347dc8c4fef52db31df3db44d84 /filters/html-converters/man2html | |
| parent | print git version string in footer (diff) | |
| download | cgit-pink-0bb34ef130f05b865ee2a34d196ea6352590f673.tar.gz cgit-pink-0bb34ef130f05b865ee2a34d196ea6352590f673.zip | |
ui-log: highlight annotated tags in different color
Annotated tags have some extra information... Descriptive text or signature. Highlighting annotated tags in a different color show what tag may be worth clicking for extra information. Signed-off-by: Christian Hesse <mail@eworm.de> Reviewed-by: John Keeping <john@keeping.me.uk>
Diffstat (limited to 'filters/html-converters/man2html')
0 files changed, 0 insertions, 0 deletions