diff options
| author | jacekpoz <64381190+jacekpoz@users.noreply.github.com> | 2023-05-03 13:48:46 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-03 14:48:46 +0100 |
| commit | a663823af2ae6ef1a48719f1f2f03bdce1bc09d9 (patch) | |
| tree | 1a5062e270544f7e361bb43004d2a87cb68c6412 /src/helpers/Monitor.cpp | |
| parent | 5a3c1449194aa70d5eacbd902fa99cc1b2910a30 (diff) | |
only ignore no_gaps_when_only when the workspace rule specifies a border (#2217)
Co-authored-by: jacekpoz <jacekpoz@cock.li>
Diffstat (limited to 'src/helpers/Monitor.cpp')
0 files changed, 0 insertions, 0 deletions