diff options
author | jao <jao@gnu.org> | 2020-01-04 19:23:37 +0000 |
---|---|---|
committer | jao <jao@gnu.org> | 2020-01-04 19:23:37 +0000 |
commit | cd52c2b9754b0f3c8104cd98a054478d2ca5f4f0 (patch) | |
tree | b34811a864a91fa002205c53e51ad0a6fc08c6bb /src/Xmobar/Plugins/Monitors/CatInt.hs | |
parent | a652991bcb7d76626f1bc5a1f8c732e55dc1bbd4 (diff) | |
download | xmobar-cd52c2b9754b0f3c8104cd98a054478d2ca5f4f0.tar.gz xmobar-cd52c2b9754b0f3c8104cd98a054478d2ca5f4f0.tar.bz2 |
Doc nits
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/CatInt.hs')
0 files changed, 0 insertions, 0 deletions