comparison src/w32gui.h @ 17894:488536bc29c2

(path-separator, parse-colon-path): Doc fixes. (revert-without-query): Renamed from find-file-revert-without-query. (find-file-noselect): Use new option. (revert-buffer): Check the option here too.
author Richard M. Stallman <rms@gnu.org>
date Tue, 20 May 1997 05:27:50 +0000
parents 303cda7d14cb
children 236627b268cc
comparison
equal deleted inserted replaced
17893:ad5fda4d4c36 17894:488536bc29c2