spiegel-keyman/developer/src/tike/actions
Marc Durdin 0d7e998bb6
Merge pull request #6943 from keymanapp/fix/developer/6897-timeouts-when-server-shutdown
fix(developer): reduce timeouts if server shut down 🎾
2022-07-22 16:42:50 +10:00
..
dmActionsKeyboardEditor.dfm chore(developer): move source files to /developer/src 2022-05-18 10:34:48 +10:00
dmActionsKeyboardEditor.pas chore(developer): move source files to /developer/src 2022-05-18 10:34:48 +10:00
dmActionsMain.dfm fix(developer): reduce timeouts if server shut down 2022-07-14 16:28:39 +10:00
dmActionsMain.pas Merge pull request #6943 from keymanapp/fix/developer/6897-timeouts-when-server-shutdown 2022-07-22 16:42:50 +10:00
dmActionsTextEditor.dfm chore(developer): move source files to /developer/src 2022-05-18 10:34:48 +10:00
dmActionsTextEditor.pas chore(developer): move source files to /developer/src 2022-05-18 10:34:48 +10:00
Keyman.Developer.UI.dmActionsModelEditor.dfm chore(developer): move source files to /developer/src 2022-05-18 10:34:48 +10:00
Keyman.Developer.UI.dmActionsModelEditor.pas chore(developer): move source files to /developer/src 2022-05-18 10:34:48 +10:00