java.rst
changeset 735 5c437e2d5fe1
parent 592 cbb6732070d8
child 780 a6e551deff14
--- a/java.rst	Sat Dec 04 17:06:13 2010 +0200
+++ b/java.rst	Sat Dec 04 17:10:45 2010 +0200
@@ -1,4 +1,4 @@
--*- outline -*-
+-*- mode: outline; coding: utf-8; fill-column: 80 -*-
 
 * Class version.