Permalink
Browse files

Make the report final.

  • Loading branch information...
1 parent 1d840c7 commit e627fc67ef1763b2da66ac6fdc8bf7c91a824388 @jlouis committed May 26, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 report/master.tex
View
@@ -1,4 +1,4 @@
-\documentclass[a4paper, oneside, 10pt, draft]{memoir}
+\documentclass[a4paper, oneside, 10pt, final]{memoir}
\chapterstyle{culver}
\usepackage{fixme}
\usepackage{coqdoc}

0 comments on commit e627fc6

Please sign in to comment.