mirror of
https://bitbucket.org/librepilot/librepilot.git
synced 2025-02-20 10:54:14 +01:00
a simple registry is used to track all configurations ever seen only new configurations (i.e. not in the registry) are added merging only applies to plugin and gadget configurations for now