Hongyi Zhao cba0614d20 deleted: completion/available/verdi.completion.bash ... this is a more specific tool, so not set it here		2020-03-25 20:22:56 +08:00
..
available	deleted: completion/available/verdi.completion.bash	2020-03-25 20:22:56 +08:00