diff options
author | ng0 <ng0@n0.is> | 2019-04-01 14:23:46 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-01 14:23:46 +0000 |
commit | ae004979659f80756076e2fe65888437a634533f (patch) | |
tree | 11760fd8e1267954d081337f6036bf5f39cb68e7 | |
parent | 3b1b7c03ea0c92ff15f7a0d3b76fe0a312a24b25 (diff) | |
download | gnunet-ae004979659f80756076e2fe65888437a634533f.tar.gz gnunet-ae004979659f80756076e2fe65888437a634533f.zip |
rename files
-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 | |||