diff scripts/docs-headings.py @ 9012:fcbed575be05 i18n tip

Merge from stable
author Mads Kiilerich <mads@kiilerich.com>
date Sat, 20 Jul 2024 19:01:49 +0200
parents 0a84ef075575
children
line wrap: on
line diff