diff options
| author | jao <jao@gnu.org> | 2022-09-12 02:36:42 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-09-12 02:36:42 +0100 |
| commit | eaf2be9bbcf1b0597a52b14d28e0252ec4714bee (patch) | |
| tree | f638f5c7fdd177fef94d34ee961a6797f035e15b /src/Xmobar/Plugins/Monitors/Top.hs | |
| parent | 7e72fe0bc695b1d69ea58d2f28c014aaae6ee613 (diff) | |
| download | xmobar-eaf2be9bbcf1b0597a52b14d28e0252ec4714bee.tar.gz xmobar-eaf2be9bbcf1b0597a52b14d28e0252ec4714bee.tar.bz2 | |
wee refactoring: a couple type synonyms
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Top.hs')
0 files changed, 0 insertions, 0 deletions