diff options
| author | slotThe <soliditsallgood@mailbox.org> | 2020-12-09 18:12:35 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2020-12-14 15:54:38 +0000 |
| commit | 6607eb04e4b438608c332ec21c68768ebacb1513 (patch) | |
| tree | 35519b3a78c3b9a7d87d86530340b2e71678b8b1 /src/Xmobar/Plugins/MarqueePipeReader.hs | |
| parent | fdad40bd1b5fd25e716b9dfa13e7ff0b85aa355a (diff) | |
| download | xmobar-6607eb04e4b438608c332ec21c68768ebacb1513.tar.gz xmobar-6607eb04e4b438608c332ec21c68768ebacb1513.tar.bz2 | |
Move plugins to doc/plugins.org
This also moves Date and DateZone to the monitors section (as they are
monitors themselves). A little bit of documentation was also
added/updated.
Diffstat (limited to 'src/Xmobar/Plugins/MarqueePipeReader.hs')
0 files changed, 0 insertions, 0 deletions