At least one developer (me) uses git to work on local branches, and this file does not hurt. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>