#!/bin/sh

# Update the copy of dev_tools inside the RMF repository.

SCRIPT_DIR="$(dirname "$(readlink -f "$0")")"

source "${SCRIPT_DIR}/../dev_tools/git/subtree-utils.sh"

pull tools/dev_tools git@github.com:salilab/developer_tools.git master

Add a script to update the dev_tools subtree.
Add a script to update the dev_tools subtree.
