minor fix for * JAL-537
authorjprocter <Jim Procter>
Mon, 17 May 2010 16:13:36 +0000 (16:13 +0000)
committerjprocter <Jim Procter>
Mon, 17 May 2010 16:13:36 +0000 (16:13 +0000)
commit94e5a196ee42f9571348786abd0ee727014b65ae
tree8921ce2d33fbb0883496b7a989229a38f9419405
parent846cdbd9bc4b60826bc5429a117e72fc29347a30
minor fix for * JAL-537
src/jalview/gui/Console.java