diff options
author | Andrej Shadura <andrewsh@debian.org> | 2020-07-06 13:36:06 +0200 |
---|---|---|
committer | Andrej Shadura <andrewsh@debian.org> | 2020-07-06 13:36:06 +0200 |
commit | e37410b7ed884852f3aa278fb71709bd0c8e3814 (patch) | |
tree | 3caeaee3f2e623565c94f3c53b46f2f83d90828f /debian/watch | |
parent | 438ead4e6111ffe02215cb5e810b5f4a767bd2a5 (diff) |
d/watch: Use https protocol
Diffstat (limited to 'debian/watch')
-rw-r--r-- | debian/watch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/watch b/debian/watch index a5f39b5..0893748 100644 --- a/debian/watch +++ b/debian/watch @@ -1,2 +1,2 @@ version=4 -http://sf.net/mcu8051ide/mcu8051ide-(.*)\.tar\.gz +https://sf.net/mcu8051ide/mcu8051ide-(.*)\.tar\.gz |