handleUserError for Mir.java.
authormh <mh>
Tue, 29 Jan 2002 21:52:02 +0000 (21:52 +0000)
committermh <mh>
Tue, 29 Jan 2002 21:52:02 +0000 (21:52 +0000)
commit3c87141946087852a07db736bdfe7458e2a32481
treed0e24647513f324551b93e0d2cf0c3e76a4b31d4
parentf9ea507d9f61aa6db3107551086bdb3fad56d8ba
handleUserError for Mir.java.
source/Mir.java