Merge branch 'master' into navigator_rewrite_drton

2026-10-22 04:03:33 +08:00 · 2014-07-04 15:28:02 +02:00
parent 59775efaad 2389a11af1
commit 904cfd7c49
61 changed files with 1959 additions and 991 deletions
@@ -42,6 +42,8 @@
 #include <string.h>
 #include <stdlib.h>
 #include <unistd.h>
+#include <math.h>
+#include <float.h>

 #include <systemlib/err.h>
 #include <geo/geo.h>