diff .gitignore @ 103595:de3fb78ac3df

(--enable-checking): New option.
author Dan Nicolaescu <dann@ics.uci.edu>
date Fri, 26 Jun 2009 23:41:43 +0000
parents 762408a9ef5d
children 9a2d92bd2a3e
line wrap: on
line diff