changes to travis, seems we have to call setup.py with "develop" now Also new travis hassle around gpg keys apt-get update seems to take too long
changes to travis, seems we have to call setup.py with "develop" now
Also new travis hassle around gpg keys
apt-get update seems to take too long

tkruse/rosinstall