diff etc/TERMS @ 85178:8ff5c5a5cd7f

Fix previous change.
author Dan Nicolaescu <dann@ics.uci.edu>
date Thu, 11 Oct 2007 23:32:32 +0000
parents 713172dcf518
children 1dd7437446ea
line wrap: on
line diff