diff options
author | Torbjorn Granlund <tege@gmplib.org> | 2013-12-02 20:31:04 +0100 |
---|---|---|
committer | Torbjorn Granlund <tege@gmplib.org> | 2013-12-02 20:31:04 +0100 |
commit | d5e9576b847394f828d3a8194b5cdaa99676c756 (patch) | |
tree | 6b02383eb31a6bd87993ed6182697b74885a84cd /.gdbinit | |
parent | 5e84964c324f36844d7ab53bc556abdad19712c6 (diff) | |
download | gmp-d5e9576b847394f828d3a8194b5cdaa99676c756.tar.gz |
Use https to link to GNU license.
Diffstat (limited to '.gdbinit')
-rw-r--r-- | .gdbinit | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |