]> git.rmz.io Git - dotfiles.git/commitdiff
source ros only if it's installed
authorSamir Benmendil <samir.benmendil@gmail.com>
Thu, 3 Oct 2013 13:02:02 +0000 (15:02 +0200)
committerSamir Benmendil <samir.benmendil@gmail.com>
Thu, 3 Oct 2013 13:02:02 +0000 (15:02 +0200)

No differences found