diff options
| author | Joris | 2021-01-23 08:58:12 +0100 |
|---|---|---|
| committer | Joris | 2021-01-23 08:58:12 +0100 |
| commit | 0c137a566c66c2b8dc8f3a2f7344f7536ade4b22 (patch) | |
| tree | 7684a358c13d2ffe4883d99532231cbbc798efdb /client/src/Util/List.hs | |
| parent | dfd4e6ab31cba88814f47e3f73d2e6abc801b125 (diff) | |
Reduce the font size a bit
Diffstat (limited to 'client/src/Util/List.hs')
0 files changed, 0 insertions, 0 deletions