From 2633ae7a390012f65134999a5e530c4ae715f1d6 Mon Sep 17 00:00:00 2001 From: "Roscoe A. Bartlett" Date: Sat, 28 Feb 2015 11:12:00 -0500 Subject: [PATCH] Link for clone_extra_repos.py Now it is super easy to clone extra Trilinos repos. --- clone_extra_repos.py | 1 + 1 file changed, 1 insertion(+) create mode 120000 clone_extra_repos.py diff --git a/clone_extra_repos.py b/clone_extra_repos.py new file mode 120000 index 000000000000..b1d28197069e --- /dev/null +++ b/clone_extra_repos.py @@ -0,0 +1 @@ +cmake/tribits/ci_support/clone_extra_repos.py \ No newline at end of file