forgot one fix in Android
authorGood Guy <[email protected]>
Wed, 1 Dec 2021 20:07:22 +0000 (13:07 -0700)
committerGood Guy <[email protected]>
Wed, 1 Dec 2021 20:07:22 +0000 (13:07 -0700)
commitf9882255f3819e1bc195b60d4bcedd4ee4f4a825
tree7fe52eb33ac525310499ac969309932ac91fffe8
parent82f7f0c08c931927f5363ff9830301d9a6a931e3
forgot one fix in Android
parts/Installation.tex