Version
5.0-304
Branch
master
Date
7 years, 9 months ago
Windows x64 Mac OS X Android
Commit
1ccb4b4db063d35dcefd3f1ed377e38af19c5ad8
Change author
Pierre Bourdon
Change description
Merge pull request #4059 from leoetlino/lint-diff-filter

Tools: Don't run lint on deleted files