diff options
author | Michael Vogt <mvo@ubuntu.com> | 2014-05-07 15:41:54 +0200 |
---|---|---|
committer | Michael Vogt <mvo@ubuntu.com> | 2014-05-07 15:41:54 +0200 |
commit | ff94be47f5dbdcf99cea23fad8c9b992a8e5a67e (patch) | |
tree | dd57b80bf6ecd853fb3c6d5eab041630ecd1e75e /.gitignore | |
parent | e39698a485e332742b935292dc4329abf19cbb53 (diff) | |
parent | 98c934f2723d63d00908803ad47ab1359081ec2d (diff) |
Merge branch 'debian/sid' into bugfix/update-progress-reporting
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 488682ee7..a00c84a02 100644 --- a/.gitignore +++ b/.gitignore @@ -42,3 +42,9 @@ /vendor/current /vendor/*/sources.list /vendor/*/makefile.auto + +# generated for and by abicheck +/abicheck/apt_build.xml +/abicheck/apt_installed.xml +/abicheck/compat_reports/ +/abicheck/logs/ |