1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-14 20:20:35 +00:00

Add missing header to the list

This commit is contained in:
Carles Fernandez 2018-11-05 19:42:59 +01:00
parent 18db62dfd3
commit e3446e47ca
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -64,6 +64,7 @@ set(GNSS_SPLIBS_HEADERS
conjugate_ic.h
gnss_sdr_create_directory.h
gnss_circular_deque.h
geofunctions.h
)