[doc] add @plugin development guide annotation where they were missing
Showing
- src/kernel_internals/runtime/boot.mli 1 addition, 2 deletionssrc/kernel_internals/runtime/boot.mli
- src/kernel_services/analysis/dataflow2.mli 4 additions, 1 deletionsrc/kernel_services/analysis/dataflow2.mli
- src/kernel_services/ast_data/cil_types.mli 1 addition, 0 deletionssrc/kernel_services/ast_data/cil_types.mli
- src/kernel_services/ast_queries/logic_utils.mli 1 addition, 0 deletionssrc/kernel_services/ast_queries/logic_utils.mli
- src/kernel_services/cmdline_parameters/typed_parameter.mli 4 additions, 1 deletionsrc/kernel_services/cmdline_parameters/typed_parameter.mli
- src/kernel_services/plugin_entry_points/log.mli 6 additions, 1 deletionsrc/kernel_services/plugin_entry_points/log.mli
- src/kernel_services/visitors/visitor_behavior.mli 3 additions, 0 deletionssrc/kernel_services/visitors/visitor_behavior.mli
- src/libraries/datatype/datatype.mli 1 addition, 0 deletionssrc/libraries/datatype/datatype.mli
- src/plugins/gui/dgraph_helper.mli 5 additions, 0 deletionssrc/plugins/gui/dgraph_helper.mli
Loading
Please register or sign in to comment