Merge pull request #1025 from davidcunado-arm/dc/version_update
Release v1.4: Update minor version number to 4
commit b762fc7481c66b64eb98b6ff694d569e66253973
2 parents 32b011b + 07f2178
@davidcunado-arm davidcunado-arm authored on 7 Jul 2017
GitHub committed on 7 Jul 2017
Showing 1 changed file
View
Makefile