commit 9aba65e7dfd6aa8e7f56d15c9d7477d67876a419
Author: Jan Dankert 
Date:   Sat Jan 28 15:07:58 2023 +0100

    Better documentation.

 dev-helper/README.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)