rename files
authorng0 <ng0@n0.is>
Mon, 1 Apr 2019 14:23:46 +0000 (14:23 +0000)
committerng0 <ng0@n0.is>
Mon, 1 Apr 2019 14:23:46 +0000 (14:23 +0000)
commitae004979659f80756076e2fe65888437a634533f
tree11760fd8e1267954d081337f6036bf5f39cb68e7
parent3b1b7c03ea0c92ff15f7a0d3b76fe0a312a24b25
rename files
contrib/scripts/doc/texinfo-hacks.el [new file with mode: 0644]
contrib/scripts/lint-man.sh [deleted file]
contrib/scripts/lint-python.sh [deleted file]
contrib/scripts/lint/lint-man.sh [new file with mode: 0755]
contrib/scripts/lint/lint-python.sh [new file with mode: 0755]
contrib/scripts/texinfo-hacks.el [deleted file]