diff make-dist @ 111402:435e622dd41e

Refer to set-coding-system-priority instead of the obsolete set-coding-priority in the doc string.
author Lars Magne Ingebrigtsen <larsi@gnus.org>
date Thu, 04 Nov 2010 23:37:06 +0100
parents 8752cead918b
children d276c036caef
line wrap: on
line diff