From 163620c63cff5fce2c314de3de93f6904ff4890b 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 2c648a512a2..106420fc514 100644 --- a/tools/utils_maintenance/make_license.py +++ b/tools/utils_maintenance/make_license.py @@ -37,10 +37,11 @@ INTRODUCTION = r"""