Merge pull request #1218 from jwillemsen/master
tree3670952393bc1f1204d04809ddadb06ce51056e1
drwxr-xr-x - .github
-rw-r--r-- 430 .gitignore
-rw-r--r-- 3982 .travis.yml
drwxr-xr-x - ACE
-rw-r--r-- 1626 README.md
drwxr-xr-x - TAO
-rw-r--r-- 4972 azure-pipelines.yml