make the user error msg look nicer
authormh <mh>
Sun, 21 Jul 2002 22:27:39 +0000 (22:27 +0000)
committermh <mh>
Sun, 21 Jul 2002 22:27:39 +0000 (22:27 +0000)
commit10d4869473c8922c0e8decc3f175c185954aaf1a
treedf2ffac8538d8c48a142dc562d79fe712f30e57c
parent0049557990cbc6f065c75e26b8287646955ae31f
make the user error msg look nicer
source/Mir.java