From 3ab947ce345e9d18ddcda57d8f88b2a9b8f5d267 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Mon, 12 Oct 2015 11:48:36 +0200 Subject: Removal of cchecklink, superseded by AbsInt's Valex tool. --- .gitignore | 2 -- 1 file changed, 2 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 107dd3a1..1c8ff7d9 100644 --- a/.gitignore +++ b/.gitignore @@ -14,8 +14,6 @@ ccomp ccomp.byte ccomp.prof -cchecklink -cchecklink.byte clightgen clightgen.byte tools/ndfun -- cgit