Merge branch 'dev' of github.com:paparazzi/paparazzi into dev

This commit is contained in:
Christophe De Wagter
2011-04-01 21:40:29 +02:00
+1
View File
@@ -38,6 +38,7 @@
#ifdef USE_GPS_XSENS
#include "subsystems/gps.h"
#include "math/pprz_geodetic_float.h"
#include "subsystems/navigation/common_nav.h" /* needed for nav_utm_zone0 */
#endif
INS_FORMAT ins_x;