diff doc/misc/gnus-coding.texi @ 110951:85fe6b298326

* make-dist: Remove the unnecessary $shortversion.
author Glenn Morris <rgm@gnu.org>
date Tue, 12 Oct 2010 01:01:11 -0700
parents 8d09094063d0
children fc6dc700cc9f
line wrap: on
line diff