Reference Manual Resizer
by rob2e
100
5.00 Avg. rating
Total Subscribers: 75
Description
Reference Manual Resizer
Allows a more minimal resize of reference manuals and reference manual pages.
UUID 114fb0de-a8c4-11ec-8c52-0050562be458