Update gitignore.

Authored by dterei on Jun 6 2013, 2:05 PM.

Description

Update gitignore.

Details

Committed
dtereiJun 6 2013, 2:05 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF70ceb7b16f59: Simplifier trace wibbles for cardinality analysis
Branches
Unknown
Tags
Unknown