diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-18 16:38:05 -0600 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2022-04-18 16:38:05 -0600 |
| commit | 75886bd10e782425179f244d0a650d9861bc2843 (patch) | |
| tree | 2e23dea6f2f4c45ccd7a8e0f9be5fc5a6da2fb71 /stack.yaml | |
| parent | 8b6c4a54f79b35ba153acf6dd6b6f1804237c545 (diff) | |
| download | rde-75886bd10e782425179f244d0a650d9861bc2843.tar.gz rde-75886bd10e782425179f244d0a650d9861bc2843.tar.bz2 rde-75886bd10e782425179f244d0a650d9861bc2843.zip | |
Rename Lang to WindowManagementLanguage (Moved to Wml.hs). Add more features to it.
Diffstat (limited to 'stack.yaml')
0 files changed, 0 insertions, 0 deletions