diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-07-18 23:35:21 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-07-18 23:35:22 (GMT) |
| commit | 00a7a21b97a47889cf66de32f8defed023c14c2c (patch) | |
| tree | cf944a27143883120cb0e3b6b94710eee8f9bc1f /git-gui/lib | |
| parent | d400cb0d1ba45c8f17b132b50b7685614af8505c (diff) | |
| parent | ca8bb509d23e9a6299eddc88905be2b5d8f1b37a (diff) | |
| download | git-00a7a21b97a47889cf66de32f8defed023c14c2c.zip git-00a7a21b97a47889cf66de32f8defed023c14c2c.tar.gz git-00a7a21b97a47889cf66de32f8defed023c14c2c.tar.bz2 | |
Merge branch 'js/pu-to-seen' into master
Last minute fix-up to documentation.
* js/pu-to-seen:
gitworkflows.txt: fix broken subsection underline
Diffstat (limited to 'git-gui/lib')
0 files changed, 0 insertions, 0 deletions