diff options
author | Olivier Roques <ojroques@users.noreply.github.com> | 2022-09-10 23:24:28 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-10 23:24:28 +0200 |
commit | 027e9d194cc652f4abe1b2cc1da30cfa381aa4b3 (patch) | |
tree | 07ae27722ab8ff98a664114062e918ff1a94989c /static/git@git.rgdd.se:www-theme | |
parent | caff0488fa12d5e1d07768ac785c3d65676272bf (diff) | |
parent | 17792f583df31f465aea363cf46f9cd22ba1503e (diff) |
Merge pull request #29 from aniolm9/font_size
New feature: Add parameter to change font size
Diffstat (limited to 'static/git@git.rgdd.se:www-theme')
0 files changed, 0 insertions, 0 deletions