1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-06-27 23:43:16 +00:00

Apply some cleaning

This commit is contained in:
Carles Fernandez 2018-11-18 20:57:21 +01:00
parent 61b9a00827
commit 8857d3938e
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D
16 changed files with 45 additions and 46 deletions

View File

@ -99,4 +99,3 @@ ELSE(GFlags_ROOT_DIR)
MESSAGE(STATUS "Cannot find gflags")
SET(GFlags_FOUND false)
ENDIF(GFlags_ROOT_DIR)