diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-18 16:38:05 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:46 -0600 |
| commit | 92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c (patch) | |
| tree | 2e23dea6f2f4c45ccd7a8e0f9be5fc5a6da2fb71 /extras | |
| parent | 7f5b461a8dcd8844bb7918c6b9a7ee7d244c4d7c (diff) | |
| download | rde-92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c.tar.gz rde-92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c.tar.bz2 rde-92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c.zip | |
Rename Lang to WindowManagementLanguage (Moved to Wml.hs). Add more features to it.
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions