]> git.rmz.io Git - dotfiles.git/commitdiff
zsh: use python2 in catkin_make
authorSamir Benmendil <samir.benmendil@gmail.com>
Thu, 27 Nov 2014 17:04:25 +0000 (17:04 +0000)
committerSamir Benmendil <samir.benmendil@gmail.com>
Thu, 27 Nov 2014 17:04:25 +0000 (17:04 +0000)

No differences found