Author: Ralf Treinen <treinen@debian.org>
Description: migrate to utf8 encoding, remove some cruft

Index: maria/NEWS
===================================================================
--- maria.orig/NEWS	2011-05-13 21:56:52.000000000 +0200
+++ maria/NEWS	2011-05-13 21:57:59.000000000 +0200
@@ -1,7 +1,7 @@
 Maria NEWS -- history of user-visible changes.  29th July 2005
-Copyright  2002,2003,2004,2005 Marko Mkel
+Copyright © 2002,2003,2004,2005 Marko Mäkelä
 See the end for copying conditions.
-
+
 * Maria 1.3.5 is a maintenance release with performance and portability fixes
 
 ** Identified performance bottlenecks with OProfile on GNU/Linux x86
@@ -230,12 +230,11 @@
 *** The liveness property checker was slightly optimised.
 
 * Maria 1.0 was the first official release.
-
 
 ----------------------------------------------------------------------
 Copyright information:
 
-Copyright  2002,2003,2004,2005 Marko Mkel
+Copyright © 2002,2003,2004,2005 Marko Mäkelä
 
    Permission is granted to anyone to make or distribute verbatim copies
    of this document as received, in any medium, provided that the
@@ -246,8 +245,3 @@
    of this document, or of portions of it,
    under the above conditions, provided also that they
    carry prominent notices stating who last changed them.
-
-Local variables:
-mode: outline
-paragraph-separate: "[ 	]*$"
-end:
