From b46d722b776c515dbf5b8a1a3c77b5910183762b Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 17 Feb 2022 13:49:46 +0100
Subject: [PATCH] [cg] don't gitignore cg_viewer.ml

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 1ffefcd9985..10dac80f7c2 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
-- 
GitLab