| commit | 37990b4b4fc241fcf12a4b6d1725c69605b26605 | [log] [tgz] |
|---|---|---|
| author | Michael Jurka <mikejurka@google.com> | Tue Sep 25 15:14:30 2012 -0700 |
| committer | Michael Jurka <mikejurka@google.com> | Tue Sep 25 15:14:30 2012 -0700 |
| tree | 01460c117a608feb4d80512a7a0d2e3d1d4b8090 | |
| parent | e19bbca93eb93d4daaf31ac3e7bd8e4c32838af4 [diff] |
Fix # 6925851: Workspace page spacing gets messed up Change-Id: I694fa1e04049e35a415b1f1a85759e501fec6258