Downloads
Blog
Screenshots
FAQ
Anleitungen
Kompatibilität
Community
Discord
Forum
Wiki
GitHub
Deutsch
Asturianu
Bahasa Melayu
Català
Česky
Cymraeg
Dansk
English
Español
Ελληνικά
Français
Galego
Italiano
Magyar
Nederlands
Norsk (Bokmål)
Polski
Português
Português (Brasil)
Русский
Svenska
Türkçe
中文(中国)
日本語
한국어
Über 5.0-304
Version
5.0-304
Entwicklungszweig
master
Zeitpunkt
7 Jahre, 9 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