Update .gitignore

Authored by dterei on Jun 25 2012, 3:25 PM.

Description

Update .gitignore

Details

Committed
dtereiJun 25 2012, 3:25 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF9758c36b0ef6: Fix handling of optllvm way
Branches
Unknown
Tags
Unknown