diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-03-16 16:27:52 +0100 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-03-16 16:27:52 +0100 |
| commit | 1d1b8113e117be008573a82c5596ac1e25799307 (patch) | |
| tree | 54ad1526a6c77a2f587bd4f79e0fe4c771af7761 /lib/config.ml | |
| parent | 346d17a1f4c78a05fb1fe010eb1a9e646c8b04a3 (diff) | |
Restore global stylesheet.
Mistakenly clobbered my work yesterday...
Diffstat (limited to 'lib/config.ml')
0 files changed, 0 insertions, 0 deletions