changed app.name refs in javadoc target to Mir, because otherwise
authorjohn <john>
Mon, 18 Aug 2003 21:38:00 +0000 (21:38 +0000)
committerjohn <john>
Mon, 18 Aug 2003 21:38:00 +0000 (21:38 +0000)
commit0f77dfb94cc5ba942cbe927c4e64625c3ceeb32b
tree34d279ac1dbb1c766e43de03ac78436789a641cc
parent41d5925718ae2fc0824d52453621e398c9561f61
changed app.name refs in javadoc target to Mir, because otherwise
javadoc complains that mir.java and Openmir.java don't exist.
build.xml