minor fixes for Android
authorGood Guy <[email protected]>
Wed, 1 Dec 2021 20:01:32 +0000 (13:01 -0700)
committerGood Guy <[email protected]>
Wed, 1 Dec 2021 20:01:32 +0000 (13:01 -0700)
commit82f7f0c08c931927f5363ff9830301d9a6a931e3
tree43f0501cdae5fdd25706c912fa66272039bba809
parentce17d99c2f135a4dfa3c5df60ed1e4e662956bfd
minor fixes for Android
parts/Installation.tex