diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-03-05 13:52:25 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-03-05 13:52:25 -0800 |
| commit | b082a53e847d444f274aac11769b625241a41060 (patch) | |
| tree | f12288b3a22b5ee92d39b8edf626bc59c1a20466 /git-tools.html | |
| parent | 03f8f070c294d06790c5a1f046e52afe9f54edd4 (diff) | |
| download | git-htmldocs-b082a53e847d444f274aac11769b625241a41060.tar.gz | |
Autogenerated HTML docs for v2.26.0-rc0
Diffstat (limited to 'git-tools.html')
| -rw-r--r-- | git-tools.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-tools.html b/git-tools.html index 877e47dd1..f1f8dd802 100644 --- a/git-tools.html +++ b/git-tools.html @@ -436,7 +436,7 @@ thead, p.table.header { p.table {
margin-top: 0;
}
-/* Because the table frame attribute is overriden by CSS in most browsers. */
+/* Because the table frame attribute is overridden by CSS in most browsers. */
div.tableblock > table[frame="void"] {
border-style: none;
}
|