diff options
| author | Jose A Ortega Ruiz <jao@gnu.org> | 2010-06-24 20:27:24 +0200 |
|---|---|---|
| committer | Jose A Ortega Ruiz <jao@gnu.org> | 2010-06-24 20:27:24 +0200 |
| commit | 961b6664453d73ea4d25ca91ef0870935fd340e1 (patch) | |
| tree | abfd149d025ead1546f526e1ed863a894ee364c4 /Plugins.hs | |
| parent | 1af9aa0016ec0f233cfeaae1869def4d4c513194 (diff) | |
| download | xmobar-961b6664453d73ea4d25ca91ef0870935fd340e1.tar.gz xmobar-961b6664453d73ea4d25ca91ef0870935fd340e1.tar.bz2 | |
Configurable border margins
Ignore-this: 18fcf93df84c7e8b6a263f3301a1666e
darcs-hash:20100624182724-748be-0b7c8d41243587bab906b4ea9739eca78aa1a21c.gz
Diffstat (limited to 'Plugins.hs')
0 files changed, 0 insertions, 0 deletions