gitignore: Add list of files to ignore.
authorRogério Brito <rbrito@ime.usp.br>
Sun, 3 Nov 2013 12:45:51 +0000 (10:45 -0200)
committerRogério Brito <rbrito@ime.usp.br>
Sun, 3 Nov 2013 12:45:51 +0000 (10:45 -0200)
commitd09acb7283a99894726a1755951521f803d917c8
tree3542d701a1cc9d86cef2fd3fdb91650e55dad9d9
parent8ac221b853218e8c65d7b5f7fd0741127cf3f053
gitignore: Add list of files to ignore.

All of these files are generated by autotools or by the compilation and they
do not belong in a version control.

Signed-off-by: Rogério Brito <rbrito@ime.usp.br>
.gitignore [new file with mode: 0644]
This page took 0.010705 seconds and 4 git commands to generate.