diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-18 10:11:05 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:46 -0600 |
| commit | 7f5b461a8dcd8844bb7918c6b9a7ee7d244c4d7c (patch) | |
| tree | e490e573a9f2ea384a5114b6118753d94a74e0d0 /src/Rahm/Desktop/Keys/Wml.hs | |
| parent | 6d633961451e1ab4747dcf1b5d3a6ea672d4d938 (diff) | |
| download | rde-7f5b461a8dcd8844bb7918c6b9a7ee7d244c4d7c.tar.gz rde-7f5b461a8dcd8844bb7918c6b9a7ee7d244c4d7c.tar.bz2 rde-7f5b461a8dcd8844bb7918c6b9a7ee7d244c4d7c.zip | |
Extend marking language to the mark command itself
Diffstat (limited to 'src/Rahm/Desktop/Keys/Wml.hs')
0 files changed, 0 insertions, 0 deletions