andy5995 b1e6cc5553 implement 'dist --allow-dirty' flag ... closes #9824		2022-02-10 21:23:20 -05:00
..
bash	bash/zsh: drop completion for deprecated command	2019-03-08 01:59:36 +02:00
zsh	implement 'dist --allow-dirty' flag	2022-02-10 21:23:20 -05:00