From b93d1168bedf457767869ce816953967beab33d1 Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Sun, 28 Jan 2018 15:15:30 -0200
Subject: [PATCH] Cherry-picked cleanup of logic intro to master

---
 src/Logic.lagda | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/Logic.lagda b/src/Logic.lagda
index bb45cc0d..90c150c1 100644
--- a/src/Logic.lagda
+++ b/src/Logic.lagda
@@ -4,8 +4,6 @@ layout    : page
 permalink : /Logic
 ---
 
-Hello! Did this change propogate?
-
 This chapter introduces the basic concepts of logic, by observing
 that each concept of logic is represented by a corresponding
 data type.