1 files changed, 0 insertions, 0 deletions

diff --git a/src/mandir b/src/instool
index 0b5060a..0b5060a 100755
--- a/src/mandir
+++ b/src/instool