log misc/_jp @ 1262:f8a8434dbac7 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):