doc/plugin-ids.dox

changeset 20897
2608e9e07913
parent 16257
66f737e6b718
child 20898
43fed61d11a1
--- a/doc/plugin-ids.dox	Sat Oct 06 19:44:49 2007 +0000
+++ b/doc/plugin-ids.dox	Sun Oct 07 18:49:50 2007 +0000
@@ -45,4 +45,4 @@
 
  */
 
-// vim: syntax=c tw=75 et
+// vim: syntax=c.doxygen tw=75 et

mercurial