efernandez/sick_tim3xx — pull request #1 by po1 (2014-04-07 16:10:27+00:00)
Title: Install headers

There is also a commit from Dani. I don't know where it came from.