From 86cd6c6baa7c06c0aadd8ad5de30e462c80e363a Mon Sep 17 00:00:00 2001 From: Wilson Silva Date: Thu, 14 Mar 2024 22:44:01 +0000 Subject: [PATCH] Remove blank lines --- docs/index.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/docs/index.md b/docs/index.md index 0d34637..ddba0d1 100644 --- a/docs/index.md +++ b/docs/index.md @@ -39,6 +39,4 @@ features: - title: Fully typed details: All code is typed with RBS with the help of TypeProf. Type correctness is enforced by Steep. icon: ✅ - --- -