diff options
| author | Paul Wise <pabs@debian.org> | 2016-03-01 14:30:06 +0000 |
|---|---|---|
| committer | Paul Wise <pabs@debian.org> | 2016-03-01 14:30:06 +0000 |
| commit | c52509aa4164589c20486db78b172c70a54de590 (patch) | |
| tree | 1edf488b7718d7f3b9bc670f959b79176be96e8c /bin/reserved-but-public | |
| parent | 17bb2181e82ba74a71b4d4806cbd8437d6448667 (diff) | |
https for links to the GNU license list.
git-svn-id: svn+ssh://svn.debian.org/svn/secure-testing@40100 e39458fd-73e7-0310-bf30-c45bca0a0e42
Diffstat (limited to 'bin/reserved-but-public')
| -rwxr-xr-x | bin/reserved-but-public | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reserved-but-public b/bin/reserved-but-public index fc4358d06d..8ae56fd01e 100755 --- a/bin/reserved-but-public +++ b/bin/reserved-but-public @@ -15,7 +15,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with this file. If not, see <http://www.gnu.org/licenses/>. +# along with this file. If not, see <https://www.gnu.org/licenses/>. #################### set -eu |