diff options
| author | gwern0 <gwern0@gmail.com> | 2008-11-19 22:25:23 +0100 |
|---|---|---|
| committer | gwern0 <gwern0@gmail.com> | 2008-11-19 22:25:23 +0100 |
| commit | dad77ddc8204c9363ded376651fdfed50d57cfa1 (patch) | |
| tree | c196b0d586c7f941ee5f34f1033349aa78a60c15 /XMonad/Prompt/Shell.hs | |
| parent | d51748028a061cd784be0c0008165f30eabd0cf5 (diff) | |
| download | XMonadContrib-dad77ddc8204c9363ded376651fdfed50d57cfa1.tar.gz XMonadContrib-dad77ddc8204c9363ded376651fdfed50d57cfa1.tar.xz XMonadContrib-dad77ddc8204c9363ded376651fdfed50d57cfa1.zip | |
Prompt.hs: increase font size to 12 from niggardly 10
Ignore-this: 74a6e1ac5e1774da4ffc7c6667c034c
darcs-hash:20081119212523-f7719-cc653aa8350ad0b923837186bdeef802b016806f.gz
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions