mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-13 04:09:25 +00:00
Fixes #10254. A full clean and build resolved this, so seems likely the rename caused some intermediate file to break? |
||
|---|---|---|
| .. | ||
| config | ||
| docs/api/etc | ||
| src | ||
| .gitignore | ||
| build.sh | ||