Changeset 2024096 in mainline

Timestamp:

2017-12-18T19:14:41Z (6 years ago)

Author:

GitHub <noreply@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

bdb8ba9

Parents:

09d01f2 (diff), 23d4515 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

Jakub Jermář <jakub@…> (2017-12-18 19:14:41)

git-committer:

GitHub <noreply@…> (2017-12-18 19:14:41)

Message:

Merge pull request #7 from Dzejrou/readme_branch

Add README.md file to be shown on the GitHub repository frontpage

File:

• README.md (added)