diff make-dist @ 21733:a373669e1196

(main): Only set environment size for real shell, and provide extra directory argument, when running on Windows 95.
author Geoff Voelker <voelker@cs.washington.edu>
date Thu, 23 Apr 1998 23:38:28 +0000
parents 8ff5c2a5ee26
children d929ae6f35d3
line wrap: on
line diff