-
Przemyslaw Kaminski authored
This is used to save when quitting the server. Previous, debounce save, didn't work properly on exit.
bc338e72
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Auth | ||
| Orchestrator | ||
| Auth.hs | ||
| EnvTypes.hs | ||
| FrontEnd.hs | ||
| Orchestrator.hs | ||
| Settings.hs | ||
| Types.hs | ||
| Utils.hs |