# 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/_*
docs/html/*
docs/pdf/*
library/include/df/*

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