Marc Durdin ae9a4210c3 fix(developer): create Server config directory before options save ... Also use back-off logic for saving in case config file is locked by another process. Fixes: #12607 Fixes: KEYMAN-DEVELOPER-1Z1		2024-11-04 08:08:28 +07:00
..
config	feat(developer): add api-extractor and api-documenter and config	2024-02-26 11:37:32 +07:00
docs	docs: add refs to Keyman MIME types	2024-10-14 05:10:54 +07:00
src	fix(developer): create Server config directory before options save	2024-11-04 08:08:28 +07:00
.gitignore	chore(developer): move server with no changes	2022-05-23 12:15:34 +10:00
build.sh	chore(developer): use builder.inc.sh instead of build-utils.sh in build scripts	2024-05-20 06:34:46 +07:00