diff options
Diffstat (limited to 'debian')
-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 7ed6ff8..3fe7217 100644 --- a/debian/local/base-files/progress-linux_version +++ b/debian/local/base-files/progress-linux_version @@ -1 +1 @@ -5 +5.13 |