zzz 0c19216c4c Profiles: Remove unused ProfileManager.summarizePeers()

2020-03-24 13:08:23 +00:00

..

doc

drop obsolete docs

2011-02-27 16:24:11 +00:00

java

Profiles: Remove unused ProfileManager.summarizePeers()

2020-03-24 13:08:23 +00:00

locale

pull translations

2020-02-21 17:50:51 +00:00

build.gradle

Gradle: Generate attributes for JAR manifests

2019-04-21 21:01:28 +00:00