diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-06-21 22:54:41 +0200 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-06-21 22:54:41 +0200 |
| commit | 0f1ad16aecfdf89dd5d83d38318de8518157e6ee (patch) | |
| tree | e7ab0c21e6a51123d08c4986bd67fc7164dd0cfc /src/managers | |
| parent | 5541098f2026daed21d87fdaa5c85d8329c8cfbc (diff) | |
added general:no_border_on_floating
Diffstat (limited to 'src/managers')
0 files changed, 0 insertions, 0 deletions