diff options
Diffstat (limited to 'nptl/nptl-printers.py')
| -rw-r--r-- | nptl/nptl-printers.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nptl/nptl-printers.py b/nptl/nptl-printers.py index 493dfa0889..82f50fd1ed 100644 --- a/nptl/nptl-printers.py +++ b/nptl/nptl-printers.py @@ -15,7 +15,7 @@ # # You should have received a copy of the GNU Lesser General Public # License along with the GNU C Library; if not, see -# <http://www.gnu.org/licenses/>. +# <https://www.gnu.org/licenses/>. """This file contains the gdb pretty printers for the following types: |