From a0887401a62c1b7085e0f19d2884ce5e69d57198 Mon Sep 17 00:00:00 2001
From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com>
Date: Sat, 11 Nov 2023 16:10:13 +0000
Subject: [PATCH] line length

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 593ef7335..3fc1d83c9 100644
--- a/README.md
+++ b/README.md
@@ -13,7 +13,8 @@ resources, in particular
 
 + [What's changed since Idris 1](https://idris2.readthedocs.io/en/latest/updates/updates.html)
 + [Resources for learning Idris](https://github.com/idris-lang/Idris2/wiki/Resources),
-  including [videos](https://github.com/idris-lang/Idris2/wiki/Resources#official-talks) that showcase its capabilities
+  including [videos](https://github.com/idris-lang/Idris2/wiki/Resources#official-talks)
+  that showcase its capabilities
 + [Editor support](https://github.com/idris-lang/Idris2/wiki/Editor-Support)
 
 ## Things still missing