spiegel-keyman/ios/tools
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
..
KeyboardCalibrator fix(ios): also disable tablet "assistant" bar 2025-04-09 13:11:29 +07:00
prepRelease.sh maint(resources): rename KEYMAN_VERSION_FOR_PR_FILENAME 2025-09-10 11:17:41 +02:00