summaryrefslogtreecommitdiff
path: root/github-prs-widget
diff options
context:
space:
mode:
authorzachir <zachir@librem.one>2023-02-28 21:49:58 -0600
committerzachir <zachir@librem.one>2023-02-28 21:49:58 -0600
commitde62d9b99980c864ff7d32c6e62cfa29cea67fea (patch)
tree7ce855b9914bfe2da26ac121241b2df1f92bff47 /github-prs-widget
parent9a987adf05ae0d241d22fbb0ee142fbefa76a138 (diff)
add setting to use font2 or smaller font
Diffstat (limited to 'github-prs-widget')
0 files changed, 0 insertions, 0 deletions