Fix dependencies of callgraph and gui
Showing
- src/plugins/callgraph/dune 1 addition, 1 deletionsrc/plugins/callgraph/dune
- src/plugins/gui/debug_manager.ko.ml 0 additions, 0 deletionssrc/plugins/gui/debug_manager.ko.ml
- src/plugins/gui/debug_manager.ok.ml 0 additions, 0 deletionssrc/plugins/gui/debug_manager.ok.ml
- src/plugins/gui/dune 5 additions, 1 deletionsrc/plugins/gui/dune
src/plugins/gui/debug_manager.ko.ml
0 → 100644
File moved
Please register or sign in to comment