<?xml version="1.0" encoding="UTF-8"?>
<manifest>
  <imports>
    <localimport file="protected"/>
  </imports>
  <projects>
    <project name="experimental"
             remote="https://vanadium.googlesource.com/experimental"
             gerrithost="https://vanadium-review.googlesource.com"
             githooks="manifest/git-hooks"
             path="experimental"/>
    <project name="infrastructure"
             remote="https://vanadium.googlesource.com/infrastructure"
             gerrithost="https://vanadium-review.googlesource.com"
             githooks="manifest/git-hooks"
             path="infrastructure"/>
  </projects>
</manifest>