Version
5.0-304
Entwicklungszweig
master
Zeitpunkt
8 Jahre, 4 Monate her
Windows x64 Mac OS X Android
Commit
1ccb4b4db063d35dcefd3f1ed377e38af19c5ad8
Author der Änderung
Pierre Bourdon
Beschreibung der Änderung
Merge pull request #4059 from leoetlino/lint-diff-filter

Tools: Don't run lint on deleted files