git: add remote-to-ssh alias to convert https? remotes to git@...

[dotfiles.git] / vim / ultisnips / roscfg.snippets

snippet add "Add a new reconfigure parameter" b
gen.add("${1:Name}", ${2:int_t}, ${3:0}, "${4:$1}", default=${5:None}, min=${6:None}, max=${7:None})
endsnippet