diff etc/tasks.texi @ 8707:13c00f5a6345

remove --with-x10
author David J. MacKenzie <djm@gnu.org>
date Mon, 05 Sep 1994 21:29:37 +0000
parents aad4bccb4fca
children 6714a42afa60
line wrap: on
line diff