diff options
| author | Joris | 2022-05-03 16:53:18 +0200 |
|---|---|---|
| committer | Joris | 2022-05-03 16:53:18 +0200 |
| commit | f7faa7f68eefec7f4b919f71a1320dec841e8008 (patch) | |
| tree | aedb17b026c19a0c0587fb60e7a3dee0c0dac99b /common/src/Common/Model/InitResult.hs | |
| parent | 2a275d17fbbe18c5ca74ee5c2ff2fb07a6fb84e2 (diff) | |
Use sans-serif font
Diffstat (limited to 'common/src/Common/Model/InitResult.hs')
0 files changed, 0 insertions, 0 deletions