mirror of
https://github.com/ankidroid/Anki-Android.git
synced 2024-09-20 12:02:16 +02:00
b1468a2425
tools:ignore ignores the outcome, but still processed the file This caused a bug as it found a duplicate key in an ignored file and flagged it as an error on the non-ignored file |
||
---|---|---|
.. | ||
src | ||
.gitignore | ||
build.gradle | ||
kotlinMigration-lint.gradle |