spiegel-keyman/resources
Marc Durdin 15621041d4 feat: setup automatic merge keyman-server
PRs from keyman-server will be automatically approved
and merged. Also tidies up other GitHub bits and pieces.
2020-01-31 12:23:34 +11:00
..
build feat: setup automatic merge keyman-server 2020-01-31 12:23:34 +11:00
git-hooks feat: setup automatic merge keyman-server 2020-01-31 12:23:34 +11:00
standards-data Update to Unicode 12.0 2019-06-16 21:28:54 -05:00
shellHelperFunctions.sh chore(ios): use new version infrastructure 2020-01-29 11:53:50 +11:00