summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authormguetlein <martin.guetlein@gmail.com>2011-12-13 11:20:04 +0100
committermguetlein <martin.guetlein@gmail.com>2011-12-13 11:20:04 +0100
commitd02b54b2c58d2d71e29700bbedbb38768d6c9e35 (patch)
treef1605efcc90744581e450bea6e2587dd9e8d7511 /.gitignore
parentcc5e2bb442a45351a191d1b69d03412991a20500 (diff)
add filtering of validation reports
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions