]> git.rmz.io Git - dotfiles.git/history - zsh/aliases/ros.zsh
gnupg: use openpgp server instead of disused sks-keyservers
[dotfiles.git] / zsh / aliases / ros.zsh
2014-11-27 Samir Benmendilzsh: use python2 in catkin_make