diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-07-02 22:54:53 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-07-02 22:54:53 +0200 |
| commit | 4bed9f9d88f4ce57b540e756e3d26ed708078604 (patch) | |
| tree | 2cfbced02c510ca7084cef1b6095c732c8e43462 /src/Erebos | |
| parent | 2278e5f103ed9c4f0e2c28bed82aae3639e7b46f (diff) | |
MonadHead instance for main UI commands
Diffstat (limited to 'src/Erebos')
0 files changed, 0 insertions, 0 deletions