]> git.baikalelectronics.ru Git - arm-tf.git/commitdiff
Merge pull request #1024 from davidcunado-arm/dc/update_userguide
authordavidcunado-arm <david.cunado@arm.com>
Thu, 6 Jul 2017 17:07:35 +0000 (18:07 +0100)
committerGitHub <noreply@github.com>
Thu, 6 Jul 2017 17:07:35 +0000 (18:07 +0100)
Release v1.4: update change-log.rst


Trivial merge