wucke13 b7e695461e apmplanner2: fixed wrong path in .desktop file ... The `apmplanner2.desktop` file defaults to `/usr/share/...` regardless which out prefix is given to make. So I chose to fix it manually.		2018-08-25 00:39:58 +02:00
..
apmplanner2	apmplanner2: fixed wrong path in .desktop file	2018-08-25 00:39:58 +02:00
gazebo	pkgs/*: remove unreferenced function arguments	2018-07-21 02:48:04 +00:00
qgroundcontrol	pkgs/*: remove unreferenced function arguments	2018-07-21 02:48:04 +00:00
yarp	pkgs/*: remove unreferenced function arguments	2018-07-21 02:48:04 +00:00