tree e8bc33fa60c38f7e1c85f8d4acf6a738df9b426a
parent ba1e9e73c07bffc046f651414db43aeee9953d15
parent 51cba191cdd46cecad9e318bffae6aeb0d2e9123
author Nicolas Geoffray <ngeoffray@google.com> 1521630014 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1521630014 +0000

Merge "Add veridex project."