diff options
| author | zachir <zachir@librem.one> | 2023-02-28 21:49:58 -0600 |
|---|---|---|
| committer | zachir <zachir@librem.one> | 2023-02-28 21:49:58 -0600 |
| commit | de62d9b99980c864ff7d32c6e62cfa29cea67fea (patch) | |
| tree | 7ce855b9914bfe2da26ac121241b2df1f92bff47 /github-prs-widget | |
| parent | 9a987adf05ae0d241d22fbb0ee142fbefa76a138 (diff) | |
add setting to use font2 or smaller font
Diffstat (limited to 'github-prs-widget')
0 files changed, 0 insertions, 0 deletions