From 0eff88d5a9ad9279a4e68fdb6e210c6ea671b613 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 15 Feb 2002 13:02:06 +0000
Subject: suite et fin (?) de haskell: gestion des modules, mise en place du'un
 test

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2480 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/test/.cvsignore | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'contrib/extraction/test/.cvsignore')

diff --git a/contrib/extraction/test/.cvsignore b/contrib/extraction/test/.cvsignore
index 087fa7d9d..fa307db73 100644
--- a/contrib/extraction/test/.cvsignore
+++ b/contrib/extraction/test/.cvsignore
@@ -1,6 +1,7 @@
 theories
 ml2v 
 v2ml
+hs2v
+v2hs
 log
-
-*.h*
+*.hi
-- 
cgit v1.2.3