Versió
5.0-304
Branca
master
Data
Fa 7 anys, 9 mesos
Windows x64 Mac OS X Android
Contribució
1ccb4b4db063d35dcefd3f1ed377e38af19c5ad8
Autor del canvi
Pierre Bourdon
Descripció del canvi
Merge pull request #4059 from leoetlino/lint-diff-filter

Tools: Don't run lint on deleted files