[m-rev.] diff: delete library/mercury_builtin.m

[Fergus Henderson]

Estimated hours taken: 0.1
Branches: main

library/mercury_builtin.m:
	Delete this long-obsolete file, which hasn't been used since 1998.

Workspace: /home/ceres/fjh/ws-ceres2/mercury
Index: library/mercury_builtin.m
===================================================================
RCS file: library/mercury_builtin.m
diff -N library/mercury_builtin.m
--- library/mercury_builtin.m	24 Aug 1998 08:24:18 -0000	1.100
+++ /dev/null	1 Jan 1970 00:00:00 -0000
@@ -1,8 +0,0 @@
-%---------------------------------------------------------------------------%
-% Copyright (C) 1994-1998 The University of Melbourne.
-% This file may only be copied under the terms of the GNU Library General
-% Public License - see the file COPYING.LIB in the Mercury distribution.
-%---------------------------------------------------------------------------%
-
-% IMPORTANT NOTE!  This file is no longer used.
-% Its contents have been moved to builtin.m and private_builtin.m.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------