From 45bad89f9d9a8bcd1bd0c5c81d741ea0a0658fff Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 16 Oct 2020 17:56:16 +0200
Subject: [PATCH] .gitignore

---
 .gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index a2f38663078..ff935dfef44 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
-- 
GitLab