Update gitignore

Authored by dterei on Feb 10 2012, 1:58 PM.

Description

Update gitignore

Details

Committed
dtereiFeb 10 2012, 1:58 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF2a68da8be77a: Add some tests for ghci under -XSafe
Branches
Unknown
Tags
Unknown