diff INSTALL @ 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 76e34fe20234
children 75a1b898c727
line wrap: on
line diff