Fixes issue 1844
tree17f0524e44dfd903ace30c4b7f9ad23d3dd16cb7
-rw-r--r-- 152 .gitattributes
-rw-r--r-- 305 .gitignore
-rwxr-xr-x 2017 .travis.sh
-rw-r--r-- 2243 .travis.yml
-rw-r--r-- 879 CONTRIBUTING.md
-rwxr-xr-x 542 JLinkSettings.ini
-rw-r--r-- 35147 LICENSE
-rw-r--r-- 36682 Makefile
-rw-r--r-- 397 Notes.md
-rw-r--r-- 6798 README.md
-rw-r--r-- 1610 Vagrantfile
-rwxr-xr-x 1117 build_docs.sh
-rwxr-xr-x 965 fake_travis_build.sh
drwxr-xr-x - lib
drwxr-xr-x - make
drwxr-xr-x - src
drwxr-xr-x - support