diff options
| author | jao <jao@gnu.org> | 2022-07-24 16:12:39 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-07-24 16:12:39 +0100 |
| commit | 141e071d0d523a521e0e790efbb57a95854aaaed (patch) | |
| tree | 884a1392291ceac8c404bdaa6b4d324c054fc390 /src/Xmobar/Plugins/Monitors/Top/Common.hs | |
| parent | ac8a9ed723f1fed8d8a7158e135c72e2b92677c5 (diff) | |
| download | xmobar-141e071d0d523a521e0e790efbb57a95854aaaed.tar.gz xmobar-141e071d0d523a521e0e790efbb57a95854aaaed.tar.bz2 | |
documentation: header levels re-adjusted
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Top/Common.hs')
0 files changed, 0 insertions, 0 deletions