chiark / gitweb /
keys.scala, etc.: Make merging public keys have a progress bar.
[tripe-android] / AndroidManifest.xml
2018-06-29 Mark WoodingIt works a bit more, so that's probably progress.
2018-06-26 Mark WoodingMostly autogenerating string resources.
2018-06-19 Mark WoodingWow, is that a proper Android build system?