diff options
| author | paltherr <paltherr@epfl.ch> | 2003-03-17 15:36:04 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-03-17 15:36:04 +0000 |
| commit | 6dfc1be51708a5cf2531b2200cfe08c943179232 (patch) | |
| tree | 020fda716047f634a8fde8e0eb935557efa0b683 /support/scripts/mirror | |
| parent | 22c472cff569037c4b8ff87dbf8e8ae2b999a8d7 (diff) | |
| download | scala-6dfc1be51708a5cf2531b2200cfe08c943179232.tar.gz scala-6dfc1be51708a5cf2531b2200cfe08c943179232.tar.bz2 scala-6dfc1be51708a5cf2531b2200cfe08c943179232.zip | |
- Added scripts
Diffstat (limited to 'support/scripts/mirror')
| -rwxr-xr-x | support/scripts/mirror | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/support/scripts/mirror b/support/scripts/mirror new file mode 100755 index 0000000000..179582d1de --- /dev/null +++ b/support/scripts/mirror @@ -0,0 +1,10 @@ +#!/bin/bash +########################################################-*-Shell-script-*-#### +# Mirror Command +############################################################################## +# $Id$ + +source ${0%/*}/mirror.sh; +mirror "$@" + +############################################################################## |