diff options
| author | Josh Rahm <rahm@google.com> | 2021-11-15 16:48:28 -0700 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:45 -0600 |
| commit | 7852e8c0adccc301e4927b7d72f1df86cb71a278 (patch) | |
| tree | 152dec8460e6d06f54958b4f522713e8432f94bc /src/Main.hs | |
| parent | 349be728078137e48731a4a0a33ef8459040fc2f (diff) | |
| download | rde-7852e8c0adccc301e4927b7d72f1df86cb71a278.tar.gz rde-7852e8c0adccc301e4927b7d72f1df86cb71a278.tar.bz2 rde-7852e8c0adccc301e4927b7d72f1df86cb71a278.zip | |
Change marking to use greedy viewing.
Diffstat (limited to 'src/Main.hs')
0 files changed, 0 insertions, 0 deletions