log misc/_jp @ 1343:ec9e58357a07 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):