diff options
| author | Vito Caputo <vcaputo@pengaru.com> | 2020-12-23 18:24:23 -0800 |
|---|---|---|
| committer | Vito Caputo <vcaputo@pengaru.com> | 2020-12-23 18:25:55 -0800 |
| commit | d564d06b1ce89e90e1aacc5433b5eabd38270973 (patch) | |
| tree | 18cac48f7687c9cbacf343baa6c9c047c81befd7 /src/libvmon/vmon.c | |
| parent | 3161db573424a554b536aaa492397341b84683ce (diff) | |
desktop: drop unused desktop names
At some point I wanted to support naming virtual desktops, but that
never materialized and I don't find myself wishing it was there.
Diffstat (limited to 'src/libvmon/vmon.c')
0 files changed, 0 insertions, 0 deletions