kdevelop did not add those files with git add. What a shame!