diff options
| author | Josh Rahm <rahm@google.com> | 2021-11-15 16:48:28 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2021-11-15 16:48:28 -0700 |
| commit | b286c60f3c46209e61cdb5c46c5c35e2e4ad8ddb (patch) | |
| tree | 6868828de81f8d37d1a44bb6a24a7cf052e4f4cd /src/Main.hs | |
| parent | 389950cb75a818f958f0df0b3a43365934a7c07a (diff) | |
| download | rde-b286c60f3c46209e61cdb5c46c5c35e2e4ad8ddb.tar.gz rde-b286c60f3c46209e61cdb5c46c5c35e2e4ad8ddb.tar.bz2 rde-b286c60f3c46209e61cdb5c46c5c35e2e4ad8ddb.zip | |
Change marking to use greedy viewing.
Diffstat (limited to 'src/Main.hs')
0 files changed, 0 insertions, 0 deletions