no longer used...functionality moved to OpenMir
authorjohn <john>
Tue, 28 May 2002 16:26:49 +0000 (16:26 +0000)
committerjohn <john>
Tue, 28 May 2002 16:26:49 +0000 (16:26 +0000)
commit9e818afd299c9fc8c6f5dadad252e6e7de81d446
treebb8087504fe01c879d2a2c70ea3107821434ec34
parent9b1440205ffa86cfd88e10be296db838a92f0f98
no longer used...functionality moved to OpenMir
source/OutputMir.java [deleted file]