summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJonas Bernoulli <jonas@bernoul.li>2019-12-06 14:06:56 +0100
committerJonas Bernoulli <jonas@bernoul.li>2019-12-06 14:06:56 +0100
commit427e36046a288f60e318d8b1e5b5c45e8a1a3062 (patch)
tree7cc08359c80eb5a7119c23351e96ece766897f3b /.github
parentc1ae1eecdd4349eceeeffc05d95847a7ef9deb4b (diff)
transient-force-fixed-pitch: New option
Re #25. Closes #67.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions