2021-09-06 16:42:45 -06:00
|
|
|
# Files that lint.py should ignore
|
|
|
|
|
|
2021-09-06 16:22:59 -06:00
|
|
|
.git/*
|
2021-09-06 16:42:45 -06:00
|
|
|
|
|
|
|
|
# Old files exempt from checks for now
|
|
|
|
|
plugins/isoworld/*.txt
|
|
|
|
|
plugins/raw/*.txt
|
|
|
|
|
plugins/stonesense/*.txt
|
|
|
|
|
|
|
|
|
|
# Generated files
|
2021-09-06 16:22:59 -06:00
|
|
|
*.pb.h
|
2021-09-06 16:42:45 -06:00
|
|
|
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/*
|
