Parcourir la source

Merge branch 'maint'

Bastien Guerry il y a 12 ans
Parent
commit
721cc10b5a
1 fichiers modifiés avec 1 ajouts et 0 suppressions
  1. 1 0
      doc/org.texi

+ 1 - 0
doc/org.texi

@@ -16,6 +16,7 @@
 @set MAINTAINER Carsten Dominik
 @set MAINTAINEREMAIL @email{carsten at orgmode dot org}
 @set MAINTAINERCONTACT @uref{mailto:carsten at orgmode dot org,contact the maintainer}
+@documentencoding UTF-8
 @c %**end of header
 @finalout