diff options
author | defanor <defanor@uberspace.net> | 2017-12-15 17:17:57 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2017-12-15 17:50:38 +0300 |
commit | be0fce32fc99b26a3ae4e208fb2a244f441f3212 (patch) | |
tree | 1687c19c627610ef096efb40c27f5746b64bf9bc /Pancake/Configuration.hs | |
parent | a6c75aeb7ab8a7a9879aa5b1e17ffec4c18d446a (diff) |
Add the "redisplay" command
Diffstat (limited to 'Pancake/Configuration.hs')
0 files changed, 0 insertions, 0 deletions