diff options
| author | jao <jao@gnu.org> | 2020-05-06 20:11:25 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2020-05-06 20:11:25 +0100 |
| commit | 2a1230543414ab09fd29b99ad722d9a963bd43cc (patch) | |
| tree | 953bc1ab8d57a2edf2b20daaa0d0592fbba4f4b5 /src/Xmobar/Plugins/Monitors/Common/Run.hs | |
| parent | 00663a63efc2df47a21fa3d4340aa673161d88a0 (diff) | |
| download | xmobar-2a1230543414ab09fd29b99ad722d9a963bd43cc.tar.gz xmobar-2a1230543414ab09fd29b99ad722d9a963bd43cc.tar.bz2 | |
hlinting
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Common/Run.hs')
0 files changed, 0 insertions, 0 deletions