Weblate 8ebb564a79 Merge remote-tracking branch 'origin/dev' into dev		2018-03-20 16:36:52 +01:00
..
src	Merge remote-tracking branch 'origin/dev' into dev	2018-03-20 16:36:52 +01:00
.gitignore	New version number 0.6.0 and some fixes:	2015-11-10 20:51:39 +01:00
build.gradle	made frontend combatible to latest extractor refactorings	2018-03-18 16:37:49 +01:00
proguard-rules.pro	Use OkHttp	2018-02-20 16:24:43 +01:00