projects / gatekeeper.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a094f0e) | patch
Rename "generate-ftpindex.sh" to "make-ftpindex.sh"
authorJacob Bachmeyer <jcb@gnu.org>
Sat, 1 Apr 2023 04:31:48 +0000 (23:31 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Sat, 1 Apr 2023 04:31:48 +0000 (23:31 -0500)
commit742f8ea2b3b341e415db08ea93805e8e36686ccf
treec40351c0d990d2ae8b321f79dfa97cd84ba68286tree | snapshot (zip tar.gz)
parenta094f0edaff9d56e932babf50d5df94985ffff91commit | diff
Rename "generate-ftpindex.sh" to "make-ftpindex.sh"

The shorter name fits better in Info menus.
make-ftpindex.sh [moved from generate-ftpindex.sh with 100% similarity] blob | blame | history