diff options
| author | Josh Rahm <rahm@google.com> | 2020-02-05 10:47:33 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2020-02-05 10:47:33 -0700 |
| commit | c57a7f0db7dba41fd6851535845077adb08da18d (patch) | |
| tree | 766052a1ee7245043e32dd32dcc05867a354388d /src/Internal/PromptConfig.hs | |
| parent | 0fb570be284eb09403d29c796ded65642ced1e18 (diff) | |
| download | rde-c57a7f0db7dba41fd6851535845077adb08da18d.tar.gz rde-c57a7f0db7dba41fd6851535845077adb08da18d.tar.bz2 rde-c57a7f0db7dba41fd6851535845077adb08da18d.zip | |
Now any AlphaNumeric character can be a workspace
Diffstat (limited to 'src/Internal/PromptConfig.hs')
0 files changed, 0 insertions, 0 deletions