diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-05-21 03:19:10 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-21 10:19:10 +0000 |
| commit | 23b990946473910eb8c781d555a4600efeb05b4b (patch) | |
| tree | 85e059ebfc50e10c43f2088578642e7e2b81f956 /src/expr/proof_rule.h | |
| parent | d6372cf53c77d205f796d40603f36228844b6de6 (diff) | |
api docs: Tweak and fix style. (#6582)
This fixes the style for narrow layouts. It further fixes and improves
the style for the menu.
Diffstat (limited to 'src/expr/proof_rule.h')
0 files changed, 0 insertions, 0 deletions