diff options
-rw-r--r-- | contrib/scripts/doc/texinfo-hacks.el (renamed from contrib/scripts/texinfo-hacks.el) | 0 | ||||
-rwxr-xr-x | contrib/scripts/lint/lint-man.sh (renamed from contrib/scripts/lint-man.sh) | 0 | ||||
-rwxr-xr-x | contrib/scripts/lint/lint-python.sh (renamed from contrib/scripts/lint-python.sh) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/contrib/scripts/texinfo-hacks.el b/contrib/scripts/doc/texinfo-hacks.el index bfb5c98fa..bfb5c98fa 100644 --- a/contrib/scripts/texinfo-hacks.el +++ b/contrib/scripts/doc/texinfo-hacks.el | |||
diff --git a/contrib/scripts/lint-man.sh b/contrib/scripts/lint/lint-man.sh index 8915e9ece..8915e9ece 100755 --- a/contrib/scripts/lint-man.sh +++ b/contrib/scripts/lint/lint-man.sh | |||
diff --git a/contrib/scripts/lint-python.sh b/contrib/scripts/lint/lint-python.sh index 0e46719ff..0e46719ff 100755 --- a/contrib/scripts/lint-python.sh +++ b/contrib/scripts/lint/lint-python.sh | |||