*** empty log message ***

bert-github · bert-github · commit da8dd8a796df · 2023-06-04T18:08:12.000+02:00
diff --git a/tools/README.md b/tools/README.md
@@ -0,0 +1 @@
+Tools that may be useful for maintaining the software.

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Tools that may be useful for maintaining the software.`