commit | 2b535bc173548a9a6d57a92c9f4f7c74bfae7709 | [log] [download] |
---|---|---|
author | nicm <nicm> | Tue Aug 08 07:19:48 2023 +0000 |
committer | nicm <nicm> | Tue Aug 08 07:19:48 2023 +0000 |
tree | b33cc5e7dd199a3c9ccf439f397aaf02ff9abcf9 | |
parent | 7b1030293ceade6b17f4b046be0add11755c8602 [diff] |
Fix a couple of rounded border characters, from Alexis Hildebrandt.