Merge pull request #217 from akohlmey/small-fixes
Collected small changes and bugfixes
GitHub <noreply@github.com> | Oct 12 2016, 15:32 |
junge | Oct 19 2017, 09:53 |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
f8a26dd158ff | Axel Kohlmeyer | update Timer::force_timeout() to trigger at next loop iteration | Oct 12 2016 | |||
c24bf512f31a | Axel Kohlmeyer | update #include statements for system includes | Oct 12 2016 | |||
6b4ab0a39044 | Axel Kohlmeyer | update .gitignore | Oct 12 2016 | |||
adc98e07df5d | Axel Kohlmeyer | whitespace cleanup in USER-DPD | Oct 12 2016 | |||
39a22039e918 | Axel Kohlmeyer | correct broken link | Oct 12 2016 | |||
b75860048bd7 | Axel Kohlmeyer | updates for recent changes to the manual | Oct 12 2016 |