Geeks
bivab
/
prob_bash_completion
Bash autocompletion for ProB
Primary Language
Shell
MIT License
MIT
prob_bash_completion GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
Watchers
bivab
Düsseldorf
jhcloos
leuschel