diff options
| author | Josh Rahm <rahm@google.com> | 2021-11-22 16:11:23 -0700 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:45 -0600 |
| commit | 325fc6952238f58260e570f3d2a4196b503ecbae (patch) | |
| tree | fd3004e73029a272eba357ca00e184ea4c3d4d07 /src/Internal/Layout.hs | |
| parent | d2c7a351c0d70ed6fc14590640eb277a15b01333 (diff) | |
| download | rde-325fc6952238f58260e570f3d2a4196b503ecbae.tar.gz rde-325fc6952238f58260e570f3d2a4196b503ecbae.tar.bz2 rde-325fc6952238f58260e570f3d2a4196b503ecbae.zip | |
Delete newMouse. It's not used.
Diffstat (limited to 'src/Internal/Layout.hs')
0 files changed, 0 insertions, 0 deletions