diff etc/edt-user.doc @ 103938:b6678898a7da

Mention two new ./configure options for developers.
author Dan Nicolaescu <dann@ics.uci.edu>
date Thu, 16 Jul 2009 21:04:18 +0000
parents c90853557b90
children
line wrap: on
line diff