doc: ignore the generated html/ directory
commit19860313cba3dbdf14748444ae1786501e110526
authorDavid Aguilar <davvid@gmail.com>
Sun, 21 Feb 2021 19:23:26 +0000 (21 11:23 -0800)
committerDavid Aguilar <davvid@gmail.com>
Sun, 21 Feb 2021 19:23:26 +0000 (21 11:23 -0800)
tree43adc2edaa1cbe18fe3dc406133712f1b979d8f6
parent3fb7c743fce3f4d11e31d903c3c7a2fecae7aa30
doc: ignore the generated html/ directory

Signed-off-by: David Aguilar <davvid@gmail.com>
share/doc/git-cola/.gitignore