delete unnecessary drv_gps.h

This commit is contained in:
Daniel Agar
2018-11-03 15:32:08 -04:00
committed by Lorenz Meier
parent 571364c617
commit 76a6cd10b1
3 changed files with 7 additions and 57 deletions
-1
View File
@@ -57,7 +57,6 @@
#include <px4_tasks.h>
#include <drivers/drv_hrt.h>
#include <drivers/device/device.h>
#include <drivers/drv_gps.h>
#include <uORB/uORB.h>
#include <uORB/topics/vehicle_gps_position.h>
#include <uORB/topics/satellite_info.h>