[m-rev.] diff: reorganize menu bars on web site

[Peter Ross]

On Tue, Mar 27, 2001 at 03:39:36PM +1000, Fergus Henderson wrote:
> On 27-Mar-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> > Maybe we should consider only leaving the
> > links which are "really important".  ie Documentation, and all the mailing
> > list links.
> 
> Why are the mailing list links "really important"?
> 
Because I look at them a lot.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------