comparison etc/ERC-NEWS @ 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 1d1d5d9bd884
comparison
equal deleted inserted replaced
103937:b0f266cccf0b 103938:b6678898a7da