Add generated files to the .gitignore.
authorKim Nguyễn <kn@lri.fr>
Tue, 23 Apr 2013 09:37:10 +0000 (11:37 +0200)
committerKim Nguyễn <kn@lri.fr>
Tue, 23 Apr 2013 09:37:10 +0000 (11:37 +0200)
commitef59263005772dd168506a99eeeada5277e1a7b2
tree5e5c13265607a18c3a7d6e9d90bb6f48e63efb32
parentff22f9cdf128206981144d94644a02caa70ad873
Add generated files to the .gitignore.
.gitignore