diff options
author | jao <jao@gnu.org> | 2022-01-29 06:41:09 +0000 |
---|---|---|
committer | jao <jao@gnu.org> | 2022-01-29 06:41:09 +0000 |
commit | 1e2c4f20d095c7dbaf0c8d2cf9a8b095388a10d4 (patch) | |
tree | bd70b16b936b20a8d55e09032f61b16087d09ddd /src/Xmobar/Plugins/MarqueePipeReader.hs | |
parent | e0d175bd1c3bf264cfd7764b7b3eede2615e0757 (diff) | |
download | xmobar-1e2c4f20d095c7dbaf0c8d2cf9a8b095388a10d4.tar.gz xmobar-1e2c4f20d095c7dbaf0c8d2cf9a8b095388a10d4.tar.bz2 |
documentation nits
Diffstat (limited to 'src/Xmobar/Plugins/MarqueePipeReader.hs')
0 files changed, 0 insertions, 0 deletions