Versión
5.0-304
Póla
master
Data
8 anos, 4 meses ago
Windows x64 Mac OS X Android
Contribución
1ccb4b4db063d35dcefd3f1ed377e38af19c5ad8
Autor do cambio
Pierre Bourdon
Descrición do cambio
Merge pull request #4059 from leoetlino/lint-diff-filter

Tools: Don't run lint on deleted files