diff options
| author | jao <jao@gnu.org> | 2022-07-24 17:14:52 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-07-24 17:14:52 +0100 |
| commit | 232a6d435a36f99b72e49bfb8d58f37a0377841b (patch) | |
| tree | 590ee7ccc36e626da825437aaa82deb88e3d8bdb /src/Xmobar/Plugins/Monitors/Top/Linux.hs | |
| parent | ead65d18d521ba37f523f21008b373b23cd9612d (diff) | |
| download | xmobar-232a6d435a36f99b72e49bfb8d58f37a0377841b.tar.gz xmobar-232a6d435a36f99b72e49bfb8d58f37a0377841b.tar.bz2 | |
documentation: interfacing-with-window-managers.org gone
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Top/Linux.hs')
0 files changed, 0 insertions, 0 deletions