From 817ddf34dcadc29a4e9174634d18683f804aa8ef Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 26 Oct 2015 15:33:18 +0100 Subject: [PATCH] typo readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 0c63aa7..ed55c97 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ Automated Reasoning 2015 ======================== -###Required packages: +###Required latex packages for building the report. - hyperref - a4wide -- 2.20.1