mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-05 08:25:32 +00:00
When install the keyman-build-deps_*.deb file it can happen that we end up with a lower version number than what we previously built. This change allows downgrades so that the build dependencies can be installed. |
||
|---|---|---|
| .. | ||
| .editorconfig | ||
| build.sh | ||
| cow.sh | ||
| deb.sh | ||
| debian.sh | ||
| dist.sh | ||
| install.sh | ||
| jenkins.sh | ||
| launchpad.sh | ||
| package-build.inc.sh | ||
| reconf.sh | ||
| upload-to-debian.sh | ||
| watch.in | ||