summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBart Polot <bart@net.in.tum.de>2014-05-07 12:07:21 +0000
committerBart Polot <bart@net.in.tum.de>2014-05-07 12:07:21 +0000
commit94809c309cd60917b8e628b09700af9fb505bdca (patch)
tree0b17d19c2c59e4351149ccde278dddf5389dfdf0 /.gitignore
parentf10ac0d0d824eccb1b1dc080fef4057e9c62ec22 (diff)
- rename supp file for some valgring distributions
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions