From 3c6dd3a750a226429ce92423d84eff2a447dec1f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 8 Oct 2001 12:01:41 +0000 Subject: [PATCH] cvsignore added --- helm/graphs/tools/simplify_deps/.cvsignore | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 helm/graphs/tools/simplify_deps/.cvsignore diff --git a/helm/graphs/tools/simplify_deps/.cvsignore b/helm/graphs/tools/simplify_deps/.cvsignore new file mode 100644 index 000000000..51af83437 --- /dev/null +++ b/helm/graphs/tools/simplify_deps/.cvsignore @@ -0,0 +1,5 @@ +simplify_deps.cmi +simplify_deps.cmo +simplify_deps.cmx +simplify_deps +simplify_deps.opt -- 2.39.2