diff make-dist @ 17549:f57de209f01b

(w32-using-nt, w32-shell-name, w32-using-system-shell-p, w32-startup): New functions. (w32-system-shells): New variable.
author Geoff Voelker <voelker@cs.washington.edu>
date Thu, 24 Apr 1997 02:58:11 +0000
parents 55e7f9ff6456
children 892cc20c7d91
line wrap: on
line diff