# File types to be ignored by our git repositories

doc/tags
