be independent of frame size, avoiding breakage on different-sized screen; pretty-print workgroups file, for easier edit/diff - #41
Open
simonmichael wants to merge 2 commits into
Open
Commits
Commits on Jan 17, 2013
- authored andcommitted


- authored andcommitted

