diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2022-11-20 17:49:23 -0700 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-11-20 17:49:23 -0700 |
| commit | 937252ba0b3375ee20598e364ca170e7c80f1a3a (patch) | |
| tree | 3f3740c5eeac53248bfd54d9979f3328c4235ce1 /src/Rahm/Desktop/Logger.hs | |
| parent | e2478cd63346b267572943c274d75d801ecd3301 (diff) | |
| download | rde-937252ba0b3375ee20598e364ca170e7c80f1a3a.tar.gz rde-937252ba0b3375ee20598e364ca170e7c80f1a3a.tar.bz2 rde-937252ba0b3375ee20598e364ca170e7c80f1a3a.zip | |
Remove border-width change for shifting windows.
Diffstat (limited to 'src/Rahm/Desktop/Logger.hs')
0 files changed, 0 insertions, 0 deletions