summaryrefslogtreecommitdiff
path: root/.gdbinit
diff options
context:
space:
mode:
authorTorbjorn Granlund <tege@gmplib.org>2013-12-02 20:31:04 +0100
committerTorbjorn Granlund <tege@gmplib.org>2013-12-02 20:31:04 +0100
commitd5e9576b847394f828d3a8194b5cdaa99676c756 (patch)
tree6b02383eb31a6bd87993ed6182697b74885a84cd /.gdbinit
parent5e84964c324f36844d7ab53bc556abdad19712c6 (diff)
downloadgmp-d5e9576b847394f828d3a8194b5cdaa99676c756.tar.gz
Use https to link to GNU license.
Diffstat (limited to '.gdbinit')
-rw-r--r--.gdbinit2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gdbinit b/.gdbinit
index 6328dc95d..fbad48422 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -13,7 +13,7 @@
# License for more details.
#
# You should have received a copy of the GNU Lesser General Public License
-# along with the GNU MP Library. If not, see http://www.gnu.org/licenses/.
+# along with the GNU MP Library. If not, see https://www.gnu.org/licenses/.
define pz