terminal.rst
changeset 735 5c437e2d5fe1
parent 521 788f01356dbc
child 899 7b4265c8d324
--- a/terminal.rst	Sat Dec 04 17:06:13 2010 +0200
+++ b/terminal.rst	Sat Dec 04 17:10:45 2010 +0200
@@ -1,4 +1,4 @@
--*- outline -*-
+-*- mode: outline; coding: utf-8; fill-column: 80 -*-
 
 * Spec.