cvra/pid — pull request #15 by antoinealb (2014-08-03 20:50:41+00:00)
Title: Small fixups of PID config

There was still a few minor issues in #14 but it wasn't enough to need a merge. They were mostly style issues.

@pierluca Can you set your editor to remove trailing whitespace on file save ? Generally a good practice to have cleaner diffs.