Oops

Last commit told git to ignore the same type of files twice. Ouch.