misc Sep 20, 2016 A collection of miscellaneous helper scripts and files. Zsh auto-completion for potassco Gringo syntax highlighting for vim
