diff man/eudc.texi @ 33215:38e1998861ff

(w32_build_number): New variable. (cache_system_info): Set it.
author Andrew Innes <andrewi@gnu.org>
date Sun, 05 Nov 2000 21:39:32 +0000
parents 95bdbefcdac6
children 730f77edf073
line wrap: on
line diff