diff options
author | Brian Jordan <brian@laptop.org> | 2008-11-03 16:38:47 (GMT) |
---|---|---|
committer | Brian Jordan <brian@laptop.org> | 2008-11-03 16:38:47 (GMT) |
commit | f0f464546f4f826ab08b8aef0f9ca0355e6d7134 (patch) | |
tree | 587841a1964eb962bf239b0018b20ef51e76bac2 /library | |
parent | 37622b8d30ee9b016f85f12abf00214a97ac8619 (diff) |
Trac #6323: Pippy's terminal and code editor font sizes are too big
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions