# Files that lint.py should ignore

.git/*

# Old files exempt from checks for now
plugins/isoworld/*.txt
plugins/raw/*.txt
plugins/stonesense/*.txt

# Generated files
*.pb.h
build*/*
docs/changelogs/*
docs/html/*
docs/pdf/*
docs/pseudoxml/*
docs/tags/*
docs/text/*
docs/tools/*
docs/xml/*
library/include/df/*

# Dependencies that we don't control
depends/*
plugins/isoworld/agui/*
plugins/isoworld/allegro/*
plugins/stonesense/allegro/*
