tree 19c35e1c29d6d591c07ab1883852c9cafa7db3ec
parent 02f89a25a658cbae4a5a24ea452e675dccb56579
author Phil Howard <phil@gadgetoid.com> 1600691236 +0100
committer Phil Howard <phil@gadgetoid.com> 1600691236 +0100

Refine instructions, use only precompiled binaries