diff make-dist @ 104668:78d1d3210db7

Mention bug numbers in last cmds.c log entry.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 28 Aug 2009 08:55:23 +0000
parents 15f0b2d2eef8
children b51e687e8c81
line wrap: on
line diff