diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-09-29 14:12:33 +0200 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2023-09-29 14:12:39 +0200 |
| commit | 25a9af2f06417552b9e38cb2191611233b866872 (patch) | |
| tree | 9e10e2072bd1d87d3f2ce81a1f08eae5c7ab6dbc /makeinclude.in | |
| parent | f3eae58c520a37e93095356de88781df5b831eeb (diff) | |
Fixes overlapping tabs (#718)
* corrects clipping of overlapping tabs
* fixes some issues with exotic box types
like rounded boxes
Diffstat (limited to 'makeinclude.in')
0 files changed, 0 insertions, 0 deletions