chiark / gitweb /
~bjharris / bedstead-debian.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afe9f6a) | patch
Parameterize sample.ps by the font size
authorBen Harris <bjh21@bjh21.me.uk>
Sun, 22 Mar 2020 10:15:03 +0000 (10:15 +0000)
committerBen Harris <bjh21@bjh21.me.uk>
Sun, 22 Mar 2020 10:15:03 +0000 (10:15 +0000)
commit0e5c32bfb425130471299f5c0c9425607f3660ae
tree877b3709026910ce3daa2779bf60c853ca17dc9btree | snapshot
parentafe9f6a3ae0c8280303f0cd7bec740b3f86e0f59commit | diff
Parameterize sample.ps by the font size

I want to change the font size and I don't want to change a lot of
numbers.
sample.ps diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.