2 Commits

Author	SHA1	Message	Date
Philip Sequeira	fd09578f0f	TOOLS/zsh.pl: escape all colons in option descriptions	2014-07-03 11:03:56 +02:00
Alessandro Ghedini	da27eceb85	TOOLS: add script for generating a zsh completion script ... As discussed in #775	2014-06-08 20:48:39 +02:00