eclipse-zenoh / zenoh-plugin-ros1

Other
15 stars 9 forks source link

chore: renamed no_mangle feature to dynamic_plugin #64

Closed gabrik closed 2 months ago

gabrik commented 2 months ago

As suggested by @milyin this PR renames the no_mangle feature to dynamic_plugin which is easier to understand.