[Dive] Fix headers
Showing
- src/plugins/dive/headers/header_spec.txt 3 additions, 0 deletionssrc/plugins/dive/headers/header_spec.txt
- src/plugins/dive/server_interface.ml 1 addition, 1 deletionsrc/plugins/dive/server_interface.ml
- src/plugins/dive/server_interface.mli 1 addition, 1 deletionsrc/plugins/dive/server_interface.mli
Loading
Please register or sign in to comment