Merge pull request #1876 from rengolin/armv8-cleanup
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sun, 25 Nov 2018 19:51:24 +0000 (20:51 +0100)
committerGitHub <noreply@github.com>
Sun, 25 Nov 2018 19:51:24 +0000 (20:51 +0100)
commit910050985a7079caf4e7c9ce177fe84998fc9a5c
tree54de7dc04ccb825e6133e5a7f9e852b8f429f98e
parent45c3c459e10810974344a84a9ad6ad330d55665b
parent310ea55f29f16771438386fb2f1f140e2fd7e397
Merge pull request #1876 from rengolin/armv8-cleanup

Simplifying ARMv8 build parameters