GitHub repository: taPublic/zsh-dev-tools
Primary language: Shell
Created: 2019-02-14T16:59:40Z
Description: ZSH Theia IDE Dev Tools Plugin