update

leanprover-community · Sep 5, 2024 · 368b097 · 368b097
1 parent 96e69cb
commit 368b097
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 22 deletions.
diff --git a/html-template/LICENSE b/html-template/LICENSE
diff --git a/html-template/README.md b/html-template/README.md
@@ -20,6 +20,7 @@ Therefore any modifications to these lines need to be reflected in `ImportGraph/
 
 # Credits
 
-This tool has been adapted from it's [Lean 3 version](https://github.com/eric-wieser/mathlib-import-graph) written by Eric Wieser.
+This tool has been adapted from it's [Lean 3 version](https://github.com/eric-wieser/mathlib-import-graph) written by Eric Wieser, which was published under the [MIT License](./LICENSE_source)
+included here.
 
 Adaptation by Jon Eugster.