integer-gmp: tweak gitignore.
authorAustin Seipp <austin@well-typed.com>
Sat, 12 Jul 2014 21:18:03 +0000 (16:18 -0500)
committerAustin Seipp <austin@well-typed.com>
Sat, 12 Jul 2014 21:18:05 +0000 (16:18 -0500)
commit708062b54d85163410a48e80ebb863be4fe21854
tree8ae3d76093efd417377135be9352a23993c6b5f4
parentce4477fd0150389d2a184c2dee9819118de450e2
integer-gmp: tweak gitignore.

Auditors: hvr

Signed-off-by: Austin Seipp <austin@well-typed.com>
.gitignore
libraries/integer-gmp/.gitignore