merge latest from MIR_1_0 branch + fix indentation of 1.1 stuff
authormh <mh>
Mon, 23 Dec 2002 02:34:56 +0000 (02:34 +0000)
committermh <mh>
Mon, 23 Dec 2002 02:34:56 +0000 (02:34 +0000)
commit1fe77a8abb753768935414647cca2040e7c2872a
tree56edd086509a6123b21f15946b64a4b796517bb8
parent37c19a8ab2f81449531d0faaab5d8217a69d6ea2
merge latest from MIR_1_0 branch + fix indentation of 1.1 stuff
NEWS