diff options
Diffstat (limited to 'debian/local/base-files/progress-linux_version')
| -rw-r--r-- | debian/local/base-files/progress-linux_version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/local/base-files/progress-linux_version b/debian/local/base-files/progress-linux_version index 7f8f011..c382960 100644 --- a/debian/local/base-files/progress-linux_version +++ b/debian/local/base-files/progress-linux_version @@ -1 +1 @@ -7 +7.5 |