diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2023-05-10 12:10:16 -0700 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2023-05-14 18:26:35 -0400 |
| commit | c85b71a39620b41c764a58b1595fc1021545665a (patch) | |
| tree | d4bb82c03dc5bda644cc7bb7d02659be998060b2 /build_w32.bat | |
| parent | 032f784601219474ac2a31d61caa071665451933 (diff) | |
| download | make-git-master.tar.gz | |
* NEWS: mention this.
* src/main.c (safer_ctime, time_now): Remove.
(print_data_base): Use file_timestamp_sprintf to format timestamps.
Diffstat (limited to 'build_w32.bat')
0 files changed, 0 insertions, 0 deletions