Add .dv files

Estimated hours taken: 0.1 .cvsignore: Add .dv files
2025-12-12 20:34:19 +00:00 · 1999-11-12 04:45:43 +00:00
parent 89065f0a1e
commit ba828d132d
3 changed files with 5 additions and 0 deletions
--- 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
--- 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
--- a/profiler/.cvsignore
+++ b/profiler/.cvsignore
@@ -11,4 +11,5 @@
 *.date3
 mercury_profile
 mercury_profile.dep
+mercury_profile.dv
 Mercury