[m-rev.] diff: delete the old code in options.m

Zoltan Somogyi zoltan.somogyi at runbox.com
Mon Jun 23 16:59:26 AEST 2025

Previous message: [m-rev.] diff: accumulate strings, don't print them
Next message: [m-rev.] for review: Mercury.config*.in
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This should not need review.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.del_old
Type: application/octet-stream
Size: 647 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250623/909081fe/attachment-0001.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.del_old.gz
Type: application/gzip
Size: 68539 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20250623/909081fe/attachment-0001.gz>

Previous message: [m-rev.] diff: accumulate strings, don't print them
Next message: [m-rev.] for review: Mercury.config*.in
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the reviews mailing list