Remove unused collision_report message

This commit is contained in:
Matthias Grob
2024-11-12 21:18:57 -05:00
committed by Daniel Agar
parent 84ba95b496
commit b5d18c6131
7 changed files with 0 additions and 124 deletions
-4
View File
@@ -97,10 +97,6 @@ menu "Zenoh publishers/subscribers"
bool "collision_constraints"
default n
config ZENOH_PUBSUB_COLLISION_REPORT
bool "collision_report"
default n
config ZENOH_PUBSUB_CONFIG_OVERRIDES
bool "config_overrides"
default n