diff options
author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2023-05-17 22:25:13 -0500 |
---|---|---|
committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2023-05-17 22:29:30 -0500 |
commit | 1b5a9554b42f4bd4f95069088c62c78c0657f0be (patch) | |
tree | 479633fa8af8f3b2c86fe5ba2cc745332766bbf6 /font/devps/HI | |
parent | 604bf4072baef5e122ed35e019af84579134568a (diff) | |
download | groff-git-master.tar.gz |
Also adjust dead-tree pagination.
Diffstat (limited to 'font/devps/HI')
0 files changed, 0 insertions, 0 deletions