[db] Rework style and especially the doc.
Showing
- src/kernel_services/plugin_entry_points/db.ml 35 additions, 31 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 22 additions, 19 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/server/main.ml 2 additions, 2 deletionssrc/plugins/server/main.ml
Loading
Please register or sign in to comment