diff --git a/browser/.cvsignore b/browser/.cvsignore index 4dc1dfb6d..6becc4d88 100644 --- a/browser/.cvsignore +++ b/browser/.cvsignore @@ -18,3 +18,6 @@ browse.h interactive_query.h mer_browser.init Mercury +browser_library.dv +browse_test.dv +collect_lib.h diff --git a/library/.cvsignore b/library/.cvsignore index 054aa3a53..ba85e8811 100644 --- a/library/.cvsignore +++ b/library/.cvsignore @@ -19,4 +19,5 @@ io.h std_util.h exception.h library.nu.nl mer_std.init library.dep +library.dv Mercury diff --git a/profiler/.cvsignore b/profiler/.cvsignore index c0294b294..5aa7f53df 100644 --- a/profiler/.cvsignore +++ b/profiler/.cvsignore @@ -11,4 +11,5 @@ *.date3 mercury_profile mercury_profile.dep +mercury_profile.dv Mercury