Benoit Marty 7f5c7c3bed Trick to fix a change due to upgrade to build-tools 4.1.0 (?)		2020-10-13 23:05:33 +02:00
..
src	Don't set presence when handling a push notification or polling (#2156)	2020-10-13 22:34:08 +02:00
.gitignore	…
build.gradle	Trick to fix a change due to upgrade to build-tools 4.1.0 (?)	2020-10-13 23:05:33 +02:00
lint.xml	…
proguard-rules.pro	…