| commit | faba72c56b686be9cede0129d584bda9d4c96714 | [log] [tgz] |
|---|---|---|
| author | Brian Silverman <brians> | Sat Feb 20 20:36:04 2016 -0500 |
| committer | Brian Silverman <brians> | Sat Feb 20 20:36:04 2016 -0500 |
| tree | bddb1bcf169368b021308b7e888fc693115e8a73 | |
| parent | eb16fa4882defcb34a11c91bad9c9ce33ab3304f [diff] [blame] |
Update allwplib_subtree.sh's directions to actually work Change-Id: Iedc8c9b3f16700b945a1ae7a8e75276f372b166f
diff --git a/doc/allwpilib_subtree.sh b/doc/allwpilib_subtree.sh index 87b95d9..aa83d0c 100755 --- a/doc/allwpilib_subtree.sh +++ b/doc/allwpilib_subtree.sh
@@ -15,7 +15,7 @@ set -o pipefail if [ $# -ne 4 ]; then - echo "Usage: $0 add|pull|filter prefix remote ref" >&2 + echo "Usage: $0 add|merge|filter prefix remote ref" >&2 exit 1 fi