Merge pull request #1138 from jwillemsen/jwi-strcmp
treec07d41e001fa6bcec584add43416dc9a1881c097
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-- 7017 azure-pipelines.yml