diff options
author | Roberto Bagnara <bagnara@cs.unipr.it> | 2009-04-11 19:11:57 +0200 |
---|---|---|
committer | Roberto Bagnara <bagnara@cs.unipr.it> | 2009-04-11 19:12:38 +0200 |
commit | bb03520297061e1c8f938704aa1bc5ec1b004e2f (patch) | |
tree | 0c9b7e3b571f2f9aeb2bfaf6a439696cccad5a2c /.gitignore | |
parent | d4313732d680e17705c0e300b7c7e9a864508f66 (diff) | |
download | ppl-bb03520297061e1c8f938704aa1bc5ec1b004e2f.tar.gz ppl-bb03520297061e1c8f938704aa1bc5ec1b004e2f.tar.bz2 ppl-bb03520297061e1c8f938704aa1bc5ec1b004e2f.zip |
Added missing patterns.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 203b9dc9d..c75901fa4 100644 --- a/.gitignore +++ b/.gitignore @@ -26,6 +26,7 @@ conftest conftest.c libtool ppl-config.h +ppl-config.h.in ppl.lsm ppl.spec stamp-h |