Release tags #5
Description
The binary distribution of the APK in /app/ is not very convenient. By using git tags, one could share the APK via github without any integration into the version control system, which reduces the amount of storage needed for the repository. Binary and source data should be stored differently.