[kernel] remove deprecated function from Db
Showing
- doc/developer/advance.tex 1 addition, 1 deletiondoc/developer/advance.tex
- doc/developer/check_api/run.oracle 2 additions, 2 deletionsdoc/developer/check_api/run.oracle
- src/kernel_services/plugin_entry_points/db.ml 0 additions, 4 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 0 additions, 7 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/libraries/utils/task.mli 1 addition, 1 deletionsrc/libraries/utils/task.mli
Loading
Please register or sign in to comment