diff make-dist @ 13210:8453192a1032

(ex-write): uses better defaults.
author Michael Kifer <kifer@cs.stonybrook.edu>
date Sat, 14 Oct 1995 02:21:19 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff