6998a43
Ignore some generated files for git Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>