GitHub repository: taPublic/zsh-theia-dev-tools
Primary language: Shell
Description: ZSH Theia IDE Dev Tools Plugin