zsh-theia-dev-tools

ZSH Theia IDE Dev Tools Plugin

Archived

GitHub
0 stars
2 watching
1 forks
Language: Shell
last commit: over 5 years ago
Linked from 1 awesome list

theiazsh-plugin

Backlinks from these awesome lists: