diff leim/makefile.w32-in @ 35888:c2604e531b66

Eliminate time-stamp functions. (ebnf-version): New version (3.5). (ebnf-eps-finish-and-write): Replace time-stamp functions by format-time-string.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 05 Feb 2001 11:21:02 +0000
parents bcb9291d15e9
children 3d50412b090b
line wrap: on
line diff