diff options
-rw-r--r-- | web/myheader.tex | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/web/myheader.tex b/web/myheader.tex index 9ea5e92fe..ee0123097 100644 --- a/web/myheader.tex +++ b/web/myheader.tex @@ -1,13 +1,4 @@ \documentclass[12pt]{article} \usepackage{txfonts} -\usepackage[breaklinks=true]{hyperref} \usepackage{ucs} \usepackage[utf8x]{inputenc} -\usepackage{graphicx} -\usepackage{array} -% This is needed for code blocks in footnotes: -\usepackage{fancyvrb} -\VerbatimFootnotes -% This is needed because raggedright in table elements redefines //: -\newcommand{\PreserveBackslash}[1]{\let\temp=\\#1\let\\=\temp} -\let\PBS=\PreserveBackslash |