commit 065cd56c9b1bc19235f0329dff7d5f94087490ec parent 5b492da8c33c4c70bd2075e88fc67fcff37fa295 Author: Kyle Milz <krwmilz@gmail.com> Date: Thu, 9 Sep 2021 20:49:33 +0000 rename manual Diffstat:
R | xdvi-man.sed -> wdvi.1 | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/xdvi-man.sed b/wdvi.1