From 820899b9fdbc93208c6d9afc0b9a5bd67b0c12e1 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 5 Nov 2024 14:41:50 +0100 Subject: [PATCH] fix: test --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 1d452191865a..7b0ddb068212 100644 --- a/README.md +++ b/README.md @@ -23,3 +23,4 @@ Please read our [Contribution Guidelines](CONTRIBUTING.md) first. # Building from Source See [Building Lean](https://lean-lang.org/lean4/doc/make/index.html) (documentation source: [doc/make/index.md](doc/make/index.md)). +`` \ No newline at end of file