#!/bin/bash
#
# Because we use git submodules, after fetching you must do:
# (Or just execute this file)

git submodule init
git submodule update