tree 7cdd9fd7252cf0fcc1bcf5fe48c1686dc7e06db1
parent 1998faa91a47815e655ad997f8441732d7d63392
parent 3ae395b4d78d2c93144e698c9bee6b1c3fb68a47
author Petr Michalec <epcim@apealive.net> 1505411519 +0000
committer Gerrit Code Review <gerrit2@b3fef64565ee> 1505411521 +0000

Merge "Add model local verification toolchain"