I committed my whole working tee instead of just one file. Ooops. This reverts commit ded14b2562.
ded14b2562