Link for clone_extra_repos.py

Now it is super easy to clone extra Trilinos repos.
benc303 · Feb 28, 2015 · 2633ae7 · 2633ae7
1 parent 1662332
commit 2633ae7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/clone_extra_repos.py b/clone_extra_repos.py
@@ -0,0 +1 @@
+cmake/tribits/ci_support/clone_extra_repos.py