[db] simplified cancel and removed once
Showing
- src/kernel_services/plugin_entry_points/db.ml 4 additions, 17 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 2 additions, 4 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/gui/analyses_manager.ml 1 addition, 2 deletionssrc/plugins/gui/analyses_manager.ml
Loading
Please register or sign in to comment