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 | b206ff67e2b88d265ae8a38227b700e5f0716f12 (patch) | |
| tree | e750cca034a9485fcc5d6ec5704b93222e43e15e /bin/reserved-but-public | |
| parent | 740314ba913d657c230e3792a6d3f00a1d854bf8 (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 |