[kernel] Simplifies user dirs
Showing
- src/kernel_services/plugin_entry_points/kernel.ml 4 additions, 36 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 4 additions, 4 deletionssrc/kernel_services/plugin_entry_points/kernel.mli
- src/kernel_services/plugin_entry_points/plugin.ml 54 additions, 106 deletionssrc/kernel_services/plugin_entry_points/plugin.ml
Loading
Please register or sign in to comment