tree f896111ce6a3b63a6b428272bd79c741444d19a1
parent 1b7d420777a760d1949afe3ed65a7da3e4022940
author jweese <jweese@0ae5e6b2-d358-4f09-a895-f82f13dd62a4> 1244224508 +0000
committer jweese <jweese@0ae5e6b2-d358-4f09-a895-f82f13dd62a4> 1244224508 +0000

Fixed graph layouts in Derivation Browser.


git-svn-id: https://joshua.svn.sf.net/svnroot/joshua/trunk@915 0ae5e6b2-d358-4f09-a895-f82f13dd62a4