tree deef60c8d8b83a211e01432bcaa52ce96af70de0
parent 1539a11150ca9c28fec353b38508267c41d7814b
author Nicolas Geoffray <ngeoffray@google.com> 1527778281 +0100
committer Nicolas Geoffray <ngeoffray@google.com> 1527854376 +0100

Add system and oahl stubs to veridex.zip

Test: m dist
Change-Id: I354d2f90c42c0cfa7e7d67052c68b455e12fdd5c