One more gitignore rule

This was forgotten in the recent “switch to explicit ignore rules”.

Reviewed-by: imsnah