[kernel] moves some (non casual) Db features to Boot
Showing
- src/kernel_internals/runtime/boot.ml 32 additions, 31 deletionssrc/kernel_internals/runtime/boot.ml
- src/kernel_internals/runtime/boot.mli 14 additions, 1 deletionsrc/kernel_internals/runtime/boot.mli
- src/kernel_services/plugin_entry_points/db.ml 0 additions, 9 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 0 additions, 14 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/aorai/tests/Aorai_test.ml 2 additions, 3 deletionssrc/plugins/aorai/tests/Aorai_test.ml
- src/plugins/gui/analyses_manager.ml 1 addition, 1 deletionsrc/plugins/gui/analyses_manager.ml
- src/plugins/gui/design.ml 1 addition, 1 deletionsrc/plugins/gui/design.ml
- src/plugins/gui/file_manager.ml 1 addition, 1 deletionsrc/plugins/gui/file_manager.ml
- src/plugins/gui/launcher.ml 1 addition, 1 deletionsrc/plugins/gui/launcher.ml
Loading
Please register or sign in to comment