#!/bin/sh

# This bootstrap script currently does nothing, but
# is there for uniformity, since almost all our other
# repos have a bootstrap script.