--- a/doc-src/System/system.tex Mon Jul 20 19:58:11 2009 +0200 +++ b/doc-src/System/system.tex Mon Jul 20 20:03:19 2009 +0200 @@ -1,6 +1,3 @@ - -%% $Id$ - \documentclass[12pt,a4paper]{report} \usepackage{supertabular} \usepackage{graphicx}