From 95aa0e0bcfd7d392d8742f2f2a3a109790245afd Mon Sep 17 00:00:00 2001
From: Urbain Vaes <urbain@vaes.uk>
Date: Tue, 2 Jun 2015 18:34:07 +0100
Subject: delete unused plugins

---
 tex/header.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tex/header.sty')

diff --git a/tex/header.sty b/tex/header.sty
index 9eeae8f..0d436a3 100644
--- a/tex/header.sty
+++ b/tex/header.sty
@@ -69,7 +69,7 @@
 
 % Layout options
 \setlength{\parskip}{6pt}
-\setstretch{1.3}
+\setstretch{1.2}
 
 % Setting for the table of contents
 \setcounter{secnumdepth}{1}
-- 
cgit v1.2.3