Merge pull request #11523 from haslinghuis/remove_duplicate
tree8862fc43f767031a329f9b9ba89ae9bbf2b9ac28
-rw-r--r-- 535 .gitattributes
drwxr-xr-x - .github
-rw-r--r-- 649 .gitignore
-rwxr-xr-x 2664 .travis.sh
-rw-r--r-- 3138 .travis.yml
-rw-r--r-- 3230 CODE_OF_CONDUCT.md
-rw-r--r-- 936 CONTRIBUTING.md
-rw-r--r-- 542 JLinkSettings.ini
-rw-r--r-- 35149 LICENSE
-rw-r--r-- 23835 Makefile
-rw-r--r-- 9409 README.md
-rw-r--r-- 2220 Vagrantfile
-rw-r--r-- 4278 azure-pipelines.yml
-rwxr-xr-x 1117 build_docs.sh
drwxr-xr-x - docs
-rwxr-xr-x 965 fake_travis_build.sh
drwxr-xr-x - lib
drwxr-xr-x - make
drwxr-xr-x - src
drwxr-xr-x - unified_targets