diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2015-06-02 18:34:07 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2015-06-02 18:34:07 +0100 |
| commit | 95aa0e0bcfd7d392d8742f2f2a3a109790245afd (patch) | |
| tree | 46a62e92d1a962a156a5e23bbbd48868d16e6379 /tex | |
| parent | c7365f1bc50845037387ecff266408a99cf26879 (diff) | |
delete unused plugins
Diffstat (limited to 'tex')
| -rw-r--r-- | tex/header.sty | 2 |
1 files changed, 1 insertions, 1 deletions
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} |