diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2022-04-12 19:10:27 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:46 -0600 |
| commit | 85310f18ac936032ea8eb4e3e177684d2d738b7c (patch) | |
| tree | c660d7e461d8aa8baf82e26a218827af37a2de94 /src/Rahm/Desktop/Layout/Draw.hs | |
| parent | 0176bd3412a98db36ab2339e8c3425e6a2f59746 (diff) | |
| download | rde-85310f18ac936032ea8eb4e3e177684d2d738b7c.tar.gz rde-85310f18ac936032ea8eb4e3e177684d2d738b7c.tar.bz2 rde-85310f18ac936032ea8eb4e3e177684d2d738b7c.zip | |
Replace submap and friends with my own versions that do the timeout.
Diffstat (limited to 'src/Rahm/Desktop/Layout/Draw.hs')
0 files changed, 0 insertions, 0 deletions