diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2019-10-20 19:02:43 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2019-10-21 06:13:12 +0000 |
| commit | 21dfc19a8a02450ea0de44332707ea4aeb9dd212 (patch) | |
| tree | 7e805f1139cb4fd9dd2fc392740cc2c51a5db09a /debian/control | |
| parent | Releasing debian version 20190101-8. (diff) | |
| download | progress-linux-21dfc19a8a02450ea0de44332707ea4aeb9dd212.tar.xz progress-linux-21dfc19a8a02450ea0de44332707ea4aeb9dd212.zip | |
Using pin priority 100 for backports if the corresponding base release has not been selected in progress-linux apt sources handling.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/control')
0 files changed, 0 insertions, 0 deletions