Verze
5.0-304
Větev
master
Datum
před 7 lety, 9 měsíci
Windows x64 Mac OS X Android
Odevzdání
1ccb4b4db063d35dcefd3f1ed377e38af19c5ad8
Autor změny
Pierre Bourdon
Popis změny
Merge pull request #4059 from leoetlino/lint-diff-filter

Tools: Don't run lint on deleted files