From cdb70252aa00dfc208d3e31341dcb0d968b38540 Mon Sep 17 00:00:00 2001 From: Eric Wieser Date: Mon, 7 Oct 2024 13:45:38 +0100 Subject: [PATCH] Fix README typo --- html-template/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/html-template/README.md b/html-template/README.md index 6648c0a..8997bbc 100644 --- a/html-template/README.md +++ b/html-template/README.md @@ -20,7 +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, which was published under the [MIT License](./LICENSE_source) +This tool has been adapted from its [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.