diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2022-05-01 15:49:35 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:46 -0600 |
| commit | c6ffb3fd47b9b02dd0d1a950696d1944794c577b (patch) | |
| tree | 8fadda992e1c535e721350a03f4dd336b1f06e7f /src/Main.hs | |
| parent | a6d5d5709b0a0811b30f1cddf4f75874ae075b2f (diff) | |
| download | rde-c6ffb3fd47b9b02dd0d1a950696d1944794c577b.tar.gz rde-c6ffb3fd47b9b02dd0d1a950696d1944794c577b.tar.bz2 rde-c6ffb3fd47b9b02dd0d1a950696d1944794c577b.zip | |
Change WML workspaces to have a Maybe name.
Diffstat (limited to 'src/Main.hs')
0 files changed, 0 insertions, 0 deletions