Merge branch 'develop' into bugfix/nrf52dk-clean

This commit is contained in:
Simon Duquennoy 2017-12-17 16:17:18 +01:00 committed by GitHub
commit 9877d14a94
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

1
.gitignore vendored
View File

@ -12,6 +12,7 @@
*~
obj_*
Makefile.target
Makefile.*.defines
tools/doxygen/html
patches-*
tools/tunslip