From 25907531c356cefa21b1b8e960b5fc3995e2b8b4 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 25 May 2016 08:12:18 +0200 Subject: [PATCH] update' git push o --- long2/slides.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/long2/slides.tex b/long2/slides.tex index 1933c08..b87600e 100644 --- a/long2/slides.tex +++ b/long2/slides.tex @@ -23,7 +23,7 @@ \item Elegance \item Instructive \item Fun - \item Editors + \item Famous editors \begin{itemize} \item Prof.\ Philip Wadler \item \ldots -- 2.20.1