28 lines
439 B
Plaintext
28 lines
439 B
Plaintext
# 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/*
|