summaryrefslogtreecommitdiff
path: root/doc/resource-preamble
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-27 11:21:49 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-27 11:21:49 +0000
commite7d1aa58f764651fc676c95b23f43457b1b91dfa (patch)
tree9f3810b8593ded48ae7cd382857b5750428c1038 /doc/resource-preamble
parent22423c640cc28d868578079e13298069247af29f (diff)
removed obsolete items from doc
Diffstat (limited to 'doc/resource-preamble')
-rw-r--r--doc/resource-preamble7
1 files changed, 0 insertions, 7 deletions
diff --git a/doc/resource-preamble b/doc/resource-preamble
deleted file mode 100644
index ac3185f42..000000000
--- a/doc/resource-preamble
+++ /dev/null
@@ -1,7 +0,0 @@
-\documentclass[11pt,a4paper]{article}
-
-\usepackage[T2A,OT1]{fontenc}
-\usepackage[ot2enc]{inputenc}
-\usepackage[russian,german,french,english]{babel}
-\usepackage{isolatin1} % user defined package
-