commit 4e5baef15f73d3c19a7c07d305bd75f8ab6e3f41
Author: Jan Dankert 
Date:   Sat Jan 28 13:26:39 2023 +0100

    Better documentation.

 dev-helper/README.md | 29 ++++++++++++++++++++++++-----
 1 file changed, 24 insertions(+), 5 deletions(-)