spiegel-keyman/developer
Marc Durdin 377b1056ec maint(resources): rename KEYMAN_VERSION_FOR_PR_FILENAME
Address review comment from #14703.

Test-bot: skip
Build-bot: skip
Relates-to: #14703
Relates-to: #10521
2025-09-10 11:17:41 +02:00
..
config feat(developer): add api-extractor and api-documenter and config 2024-02-26 11:37:32 +07:00
docs Merge pull request #14646 from keymanapp/refactor/common/13205_UnifyWhatsNew 2025-09-05 09:44:02 +02:00
src maint(resources): rename KEYMAN_VERSION_FOR_PR_FILENAME 2025-09-10 11:17:41 +02:00
.gitignore chore(developer): move server with no changes 2022-05-23 12:15:34 +10:00
build.sh maint(common): consolidate builder scripts 2025-08-02 08:11:24 +10:00