code-iai/knowrob_dev — pull request #3 by knowrob (2014-09-15 13:20:01+00:00)
Title: Merge devel-gsoc14 branch

Merge the results of Andrei Stoica as part of the Google Summer of Code into the master branch.