Merge pull request #10 from mikaelarguedas/install_rules_for_plugins
authorKonstantinos Chatzilygeroudis <costashatz@gmail.com>
Sat, 24 Feb 2018 23:13:58 +0000 (00:13 +0100)
committerGitHub <noreply@github.com>
Sat, 24 Feb 2018 23:13:58 +0000 (00:13 +0100)
add install rules for the gazebo plugins


Trivial merge