# List of ignored files for the rep:
# wild card are fine too.
HEADER.html
doc.git