Ignore stuff that shouldn't be in the repo

This commit is contained in:
Felix Schäfer 2014-05-17 21:37:54 +00:00
parent e90c95fd80
commit dc8807c678

Diff content is not available