diff options
| author | fpi | 2020-05-09 13:15:19 +0200 |
|---|---|---|
| committer | fpi | 2020-05-09 13:42:43 +0200 |
| commit | bd99576d739fc2965abc3d7c6125d5e0a64d5236 (patch) | |
| tree | ba673378f93716ad31ac668ececf9fd6a0de9830 /tex.org | |
| parent | Merge branch 'gnus+' into emacs (diff) | |
Change default font size
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions