[m-rev.] diff: cvdd update

[Zoltan Somogyi]

tools/cvdd:
	Ignore some more uninteresting files.
cvs diff: in directory .:

cvs diff: Diffing .
Index: cvdd
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/cvdd,v
retrieving revision 1.2
diff -u -b -r1.2 cvdd
--- cvdd	2001/04/30 11:56:33	1.2
+++ cvdd	2001/08/08 03:25:19
@@ -65,6 +65,7 @@
 *.*date*
 rl_file.m
 rl_out.m
+maybe_mlds_to_gcc.m
 "
 
 exclude_c="
@@ -88,6 +89,7 @@
 *.aux
 *.toc
 *.log
+*.dvi_log
 *.info
 *.info-*
 "
cvs [diff aborted]: there is no version here; run 'cvs checkout' first
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------