Merge pull request #14 from roboticsgroup/pid_ns
authorKonstantinos Chatzilygeroudis <costashatz@gmail.com>
Thu, 21 Feb 2019 11:36:05 +0000 (12:36 +0100)
committerGitHub <noreply@github.com>
Thu, 21 Feb 2019 11:36:05 +0000 (12:36 +0100)
commit4d93ecd86e4415c3fe74d0027fd41c5e3b39ec44
tree8e5783535b33fae1f875cbd0b919637f170a4031
parentad51aa3de609336a39104ef8864ae61164a2e5d6
parent95512be1c0e9025267fc9d4ec428b425361290c2
Merge pull request #14 from roboticsgroup/pid_ns

Add option to change the namespace of the pid