Merge branch 'MaxWinterstein-patch-1'
tree97ae4af6c42aec5649cd3fd887b23131ed55b821
-rw-r--r-- 152 .gitattributes
-rw-r--r-- 171 .gitignore
-rwxr-xr-x 161 .travis.sh
-rw-r--r-- 725 .travis.yml
-rw-r--r-- 2308 CONTRIBUTING.md
-rwxr-xr-x 542 JLinkSettings.ini
-rw-r--r-- 35147 LICENSE
-rw-r--r-- 17917 Makefile
-rw-r--r-- 397 Notes.md
-rw-r--r-- 5639 README.md
-rwxr-xr-x 1043 build_docs.sh
drwxr-xr-x - docs
drwxr-xr-x - lib
drwxr-xr-x - src
drwxr-xr-x - support