diff make-dist @ 12317:6236bdeec18d

(VERSION): Update version number. (maintainer-clean): Renamed from realclean.
author Richard M. Stallman <rms@gnu.org>
date Mon, 19 Jun 1995 18:35:57 +0000
parents ed11e19b4264
children 543e6df4f753
line wrap: on
line diff