-
Gerd Moellmann authored
(ebnf-version): New version (3.5). (ebnf-eps-finish-and-write): Replace time-stamp functions by format-time-string.
01d19dd7
(ebnf-version): New version (3.5). (ebnf-eps-finish-and-write): Replace time-stamp functions by format-time-string.