mirror of
https://github.com/keymanapp/keyman.git
synced 2026-09-13 19:17:44 +00:00
For some reason with some PR builds we got an incorrect base ref. This change makes better use of the information that GitHub provides and so should work around the problem. |
||
|---|---|---|
| .. | ||
| build | ||
| devbox | ||
| git-hooks | ||
| gosh | ||
| scopes | ||
| standards-data | ||
| stats | ||
| build.sh | ||
| builder.inc.sh | ||
| locate_emscripten.inc.sh | ||
| shellHelperFunctions.sh | ||