mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-13 20:29:24 +00:00
The previous wildcard was too broad and matched on `libkeymancore-dev` which is missing the API version number in the filename. This change requires a digit after the name. |
||
|---|---|---|
| .. | ||
| api-verification.yml | ||
| auto-merge-keyman-server-pr.yml | ||
| crowdin.yml | ||
| deb-packaging.README.md | ||
| deb-packaging.yml | ||
| labeler.yml | ||