diff options
| author | fpi | 2020-01-16 10:59:10 +0100 |
|---|---|---|
| committer | fpi | 2020-01-29 17:58:06 +0100 |
| commit | 30fb051d8fa808337be3e42f96ba919dac87b16f (patch) | |
| tree | 58a328920e25ef489e33e9b979532c0b43e114ed /tex.org | |
| parent | Fix the default font for my themes (diff) | |
Reduce size of archived headlines
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions