doc/doxygen.conf
changeset 10592 2e0a1ae4fa76
parent 10536 1c11f0a6ed36
child 10596 c0c25217fd3f
--- a/doc/doxygen.conf	Tue Jan 28 13:34:46 2014 -0800
+++ b/doc/doxygen.conf	Wed Jan 29 17:41:03 2014 -0800
@@ -1,3 +1,5 @@
+# -*-sh-*-
+
 # Doxyfile 1.8.1.1
 
 # This file describes the settings to be used by the documentation system