Tobias_Groza c015f72370 Fix crash when deleting repository ...

This fixes an NPE that was triggered when deleting a repo via the RepoDetailsActivity. The repo is null after it has been deleted. The corresponding RepoDetails are now closed after the deletion.

2024-09-03 13:00:07 +00:00

..

src

Fix crash when deleting repository

2024-09-03 13:00:07 +00:00

tools

move all translation scripts to tools/

2017-05-10 23:18:28 +02:00

build.gradle

[app] add ktlint checking and fix complaints it has

2024-07-12 10:05:30 -03:00

lint.xml

[app] downgrade ExtraTranslation error to warning

2023-09-19 15:00:10 +05:30

proguard-rules.pro

Make D8 happy after upgrades

2024-03-05 14:43:28 +00:00