diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-07 01:09:44 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-07 01:09:44 +0100 |
| commit | 5eb4875d0bb5ae1a93ed2ed10d783d82d075d176 (patch) | |
| tree | 90f6df893a41957eb492dfdc45452580e03c6ebe /Plugins.hs | |
| parent | aa02126c47268200a5cdc860f3c1b9458fdf94b3 (diff) | |
| download | xmobar-5eb4875d0bb5ae1a93ed2ed10d783d82d075d176.tar.gz xmobar-5eb4875d0bb5ae1a93ed2ed10d783d82d075d176.tar.bz2 | |
New compilation flag: all_extensions
Diffstat (limited to 'Plugins.hs')
0 files changed, 0 insertions, 0 deletions