zsh-theia-dev-tools in unixorn/awesome-zsh-plugins

ZSH Theia IDE Dev Tools Plugin

created at Feb. 14, 2019, 4:59 p.m.

Shell

2 +0

0 +0

1 +0

GitHub
Most stars Fewest stars Most forks Fewest forks Most watchers Fewest watchers Recently created Least recently created Recently updated Least recently updated Most repositories Fewest repositories
All languages 1 Shell 1