diff INSTALL @ 103707:6f4661f3af1c

(--enable-profiling): New option.
author Dan Nicolaescu <dann@ics.uci.edu>
date Fri, 03 Jul 2009 13:04:57 +0000 (2009-07-03)
parents 76e34fe20234
children 75a1b898c727
line wrap: on
line diff