Merge pull request #1024 from davidcunado-arm/dc/update_userguide
Release v1.4: update change-log.rst
commit c3d1b0ad5f79dd8b6a1ce20f5c6fcff372afeee7
2 parents 2e43832 + aee3ef4
@davidcunado-arm davidcunado-arm authored on 6 Jul 2017
GitHub committed on 6 Jul 2017
Showing 1 changed file
View
docs/change-log.rst