diff options
| author | Joris | 2022-09-04 21:53:18 +0200 |
|---|---|---|
| committer | Joris | 2022-09-04 21:53:18 +0200 |
| commit | bf904d1bfbe5fa1e715d401ef683ba98684203e5 (patch) | |
| tree | d80d3749256a5c440d6a33e3fd279046706715c5 /src/Model/config.ml | |
| parent | 57a1076a18ac82e603ffa9fc78f960ee373895d5 (diff) | |
Use sans-serif fontmain
Diffstat (limited to 'src/Model/config.ml')
0 files changed, 0 insertions, 0 deletions