diff options
| author | jao <jao@gnu.org> | 2018-08-19 00:51:11 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-08-19 00:51:11 +0100 |
| commit | 1f140f4f90778bda070d990643461e4a0d476ad7 (patch) | |
| tree | 7e7fd781b496764e488b4d3bea857be08e65235f /src/Plugins/Monitors/Top.hs | |
| parent | cbde794c899d04524a486d5d0f82b8e2d889cdb8 (diff) | |
| download | xmobar-1f140f4f90778bda070d990643461e4a0d476ad7.tar.gz xmobar-1f140f4f90778bda070d990643461e4a0d476ad7.tar.bz2 | |
Allowing hinotify 0.4.*
Closes #356
Diffstat (limited to 'src/Plugins/Monitors/Top.hs')
0 files changed, 0 insertions, 0 deletions