diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-07-18 00:11:29 +0200 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-07-18 00:11:29 +0200 |
| commit | 2c7b2ad6ca19950f13ec4a97204bb8ff18096bb3 (patch) | |
| tree | 9bf7f1862e4ecc2f84d5d3ac1807540b74538be1 /src/managers | |
| parent | ddb8c897762d47a22867c77897c6e39513e36029 (diff) | |
windowrules: add border size rule
Diffstat (limited to 'src/managers')
0 files changed, 0 insertions, 0 deletions