diff options
author | jao <jao@gnu.org> | 2022-09-17 05:31:24 +0100 |
---|---|---|
committer | jao <jao@gnu.org> | 2022-09-17 05:31:24 +0100 |
commit | cb7d2cecc2fa1a81cb8268cc726d582bebcb1dd0 (patch) | |
tree | 495b888b40efb3ec4b6d7f2ed8be55eff3c5ad62 /src/Xmobar/Plugins/Monitors/Common/Output.hs | |
parent | affa9bb3679cee54a7af106e7cd10a7ba921341c (diff) | |
download | xmobar-cb7d2cecc2fa1a81cb8268cc726d582bebcb1dd0.tar.gz xmobar-cb7d2cecc2fa1a81cb8268cc726d582bebcb1dd0.tar.bz2 |
testing CI flags usage
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Common/Output.hs')
0 files changed, 0 insertions, 0 deletions