log misc/_jp @ 1303:d3ef3894254d frontends_multi_profiles

age author description
Mon, 10 Feb 2014 13:53:46 +0100 Goffi jp: zsh completion, first draft (added in a new /misc directory):