add license info as header

sandragreiner · sandragreiner · commit 91f75ec1b3d8 · 2024-07-01T12:38:43.000+02:00
diff --git a/README.md b/README.md
@@ -1,4 +1,5 @@
 [![JavaDoc](https://img.shields.io/badge/JavaDoc-Documentation-blue)](https://variantsync.github.io/trace-boosting/)
+[![License](https://img.shields.io/badge/License-GNU%20LGPLv3-blue)](LICENSE.LGPL3)
 
 # trace-boosting: Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`[![JavaDoc](https://img.shields.io/badge/JavaDoc-Documentation-blue)](https://variantsync.github.io/trace-boosting/)`
	`2`	`+[![License](https://img.shields.io/badge/License-GNU%20LGPLv3-blue)](LICENSE.LGPL3)`
`2`	`3`
`3`	`4`	`# trace-boosting: Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing`
`4`	`5`