From f8ca9ee46ba72eb0abe603c6fe7db7bdba82f0fb Mon Sep 17 00:00:00 2001 From: Dalai Felinto Date: Tue, 3 Dec 2024 17:50:27 +0100 Subject: [PATCH] make license: Tweak on generated comments After coming back to this file after a few months I myself did not remember where to edit it. Adding the "Introduction and formatting" bullet item and update others for brevity. --- tools/utils_maintenance/make_license.py | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/tools/utils_maintenance/make_license.py b/tools/utils_maintenance/make_license.py index e4fdd026d1a..2810c4268e4 100644 --- a/tools/utils_maintenance/make_license.py +++ b/tools/utils_maintenance/make_license.py @@ -39,10 +39,11 @@ INTRODUCTION = r"""