diff options
| author | jao <jao@gnu.org> | 2018-02-01 05:25:41 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-02-01 05:28:31 +0100 |
| commit | 453d31ff13919e7272514a4d6b7c2689204d409e (patch) | |
| tree | f5ed7f978dd4b7655faf942023eb1a6aa10845e4 /src/Plugins/Monitors/Top.hs | |
| parent | 2b09af2d3ea2bbc623306899924b005551688b0a (diff) | |
| download | xmobar-453d31ff13919e7272514a4d6b7c2689204d409e.tar.gz xmobar-453d31ff13919e7272514a4d6b7c2689204d409e.tar.bz2 | |
`stack build --flag xmobar:all_extensions` working
Diffstat (limited to 'src/Plugins/Monitors/Top.hs')
0 files changed, 0 insertions, 0 deletions