diff --git a/.gitignore b/.gitignore index a2f38663078062c50368522097ca56df17535309..ff935dfef44e08ebbb11a4f7154ac69cc577441b 100644 --- a/.gitignore +++ b/.gitignore @@ -201,8 +201,8 @@ Makefile.plugin.generated /src/kernel_internals/parsing/cparser.ml /src/kernel_internals/parsing/cparser.mli /src/libraries/stdlib/transitioning.ml -/src/plugins/gui/dgraph.ml -/src/plugins/gui/dgraph.mli +/src/plugins/callgraph/cg_viewer.ml +/src/plugins/gui/debug_manager.ml /src/plugins/gui/dgraph_helper.ml /src/plugins/gui/GSourceView.ml /src/plugins/gui/GSourceView.mli