Merge branch 'stable/potassium'
No related branches found
No related tags found
Showing
- .Makefile.lint 0 additions, 3 deletions.Makefile.lint
- .gitignore 2 additions, 0 deletions.gitignore
- ALL_VERSIONS 1 addition, 0 deletionsALL_VERSIONS
- INSTALL.md 8 additions, 8 deletionsINSTALL.md
- Makefile 32 additions, 24 deletionsMakefile
- VERSION 1 addition, 1 deletionVERSION
- headers/header_spec.txt 3 additions, 2 deletionsheaders/header_spec.txt
- opam/opam 2 additions, 2 deletionsopam/opam
- src/plugins/callgraph/cg_viewer.ml 29 additions, 29 deletionssrc/plugins/callgraph/cg_viewer.ml
- src/plugins/gui/dgraph_helper.mli 14 additions, 15 deletionssrc/plugins/gui/dgraph_helper.mli
- src/plugins/gui/dgraph_helper.no.ml 16 additions, 18 deletionssrc/plugins/gui/dgraph_helper.no.ml
- src/plugins/gui/dgraph_helper.yes.ml 58 additions, 0 deletionssrc/plugins/gui/dgraph_helper.yes.ml
- src/plugins/gui/gtk_helper.ml 0 additions, 38 deletionssrc/plugins/gui/gtk_helper.ml
- src/plugins/gui/gtk_helper.mli 0 additions, 16 deletionssrc/plugins/gui/gtk_helper.mli
- src/plugins/gui/property_navigator.ml 104 additions, 103 deletionssrc/plugins/gui/property_navigator.ml
- src/plugins/impact/reason_graph.ml 36 additions, 35 deletionssrc/plugins/impact/reason_graph.ml
- src/plugins/impact/register_gui.ml 125 additions, 133 deletionssrc/plugins/impact/register_gui.ml
Loading
Please register or sign in to comment