From 7ab9e9a9fe08dc03f6d8ba4d2fd86a4e52a4a5b3 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Thu, 9 Sep 2021 09:11:16 +0200
Subject: Added notes by Jean-Marc Schlenker

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 9156717..7b6ff12 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,4 @@
 exercises-luca
 notes.txt
-notes-schlenker.pdf
 solutions
 preplogic-solutions.pdf
-- 
cgit v1.3