diff options
| author | Josh Rahm <rahm@google.com> | 2021-11-22 16:11:23 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2021-11-22 16:11:23 -0700 |
| commit | 245e135bf003ca9420f21dc82727a9b9b4f0bdcf (patch) | |
| tree | a2cda9bacf6535cc0158a5eeb2ad090df6bf8adf /src/Internal/PromptConfig.hs | |
| parent | 6b91a961e2951f40359af1fe2f1702970edac879 (diff) | |
| download | rde-245e135bf003ca9420f21dc82727a9b9b4f0bdcf.tar.gz rde-245e135bf003ca9420f21dc82727a9b9b4f0bdcf.tar.bz2 rde-245e135bf003ca9420f21dc82727a9b9b4f0bdcf.zip | |
Delete newMouse. It's not used.
Diffstat (limited to 'src/Internal/PromptConfig.hs')
0 files changed, 0 insertions, 0 deletions