diff --git a/.gitignore b/.gitignore index 1ffefcd99851c35fd53e896331b4ad18238c0f5e..10dac80f7c204bbbdd07c926a27ee95e1f1284ef 100644 --- a/.gitignore +++ b/.gitignore @@ -196,7 +196,7 @@ Makefile.plugin.generated /src/kernel_internals/parsing/cparser.ml /src/kernel_internals/parsing/cparser.mli /src/libraries/stdlib/transitioning.ml -/src/plugins/callgraph/cg_viewer.ml +# /src/plugins/callgraph/cg_viewer.ml /src/plugins/gui/debug_manager.ml /src/plugins/gui/dgraph_helper.ml /src/plugins/gui/GSourceView.ml