- 12 Nov, 2020 1 commit
-
-
Marcus authored
r12b has been forever the default. Let's explicitly request that version where we know we need it. Note; there's other builds that still implicitly rely on that version that don't use the buildjni flag. We don't really have a good way of finding those, except manually.
-
- 23 Aug, 2020 1 commit
-
-
Jochen Sprickerhof authored
- use apt-get instead of apt - do apt-get update || apt-get update before apt-get install - use apt install -y
-
- 23 May, 2020 1 commit
-
-
relan authored
-
- 08 May, 2020 1 commit
-
-
Michel Le Bihan authored
-
- 04 May, 2020 1 commit
-
-
Licaon_Kter authored
-
- 03 May, 2020 1 commit
-
-
F-Droid Bot authored
-
- 13 Sep, 2019 1 commit
-
-
Hans-Christoph Steiner authored
-
- 01 Sep, 2019 1 commit
-
-
Izzy authored
-