From 9e4f619454e421ae008b0639afd9ddb5f7b8ce16 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Tue, 21 Jul 2020 09:11:33 +0200
Subject: Remove half-deleted sentence

---
 site/posts/Ltac101.v | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'site/posts')

diff --git a/site/posts/Ltac101.v b/site/posts/Ltac101.v
index bd539e7..b0841e9 100644
--- a/site/posts/Ltac101.v
+++ b/site/posts/Ltac101.v
@@ -1,6 +1,4 @@
-(** * Ltac 101
-
-    This article has . *)
+(** * Ltac 101 *)
 
 (** In this article (originally published on #<span
     id="original-created-at">October 16, 2017</span>#), I give an overview of my
-- 
cgit v1.2.3