spiegel-keyman/resources
Eberhard Beilharz 53e10ad0a6
fix(linux): Fix checkout of PRs
We need to specify the full ref, otherwise GitHub will add
`refs/heads` and `refs/tags` which won't work for pull requests.
2023-02-09 16:27:32 +01:00
..
build fix(linux): Fix checkout of PRs 2023-02-09 16:27:32 +01:00
devbox refactor(common): Revert move of KEYMAN_ROOT to REPO_ROOT 2022-09-28 07:56:08 +07:00
git-hooks chore: make git pre-commit hook executable 2022-10-31 16:13:58 +11:00
gosh chore(common): use /usr/bin/env bash 2022-07-25 14:59:37 +10:00
scopes chore(common): adjust scripts for core relocation 2022-05-18 07:22:11 +10:00
standards-data chore(common): Update to Unicode 15.0 2022-09-16 11:42:16 +07:00
builder.inc.sh Update resources/builder.inc.sh 2023-02-09 15:05:13 +11:00
shellHelperFunctions.sh feat(common): builder dependency support 2022-10-12 12:50:26 +11:00