Remove patch for v0.0.10

This commit is contained in:
Carles Fernandez 2019-08-04 23:15:31 +02:00
parent 1b8d8bfe85
commit 95cc4d7b7a
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D
1 changed files with 1 additions and 3 deletions

View File

@ -1957,9 +1957,7 @@ endif()
if(${Protobuf_VERSION} VERSION_EQUAL "0.0.0")
unset(Protobuf_VERSION)
endif()
if(PC_GNURADIO_RUNTIME_VERSION VERSION_LESS "3.7.99")
set(PC_GNURADIO_RUNTIME_VERSION "3.7.13")
endif()
################################################################################