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 /.gitattributes | |
parent | Fix the default font for my themes (diff) |
Reduce size of archived headlines
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions