diff options
| author | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-11 15:56:48 +0200 |
|---|---|---|
| committer | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-11 15:57:07 +0200 |
| commit | 3069eaf35e833ffe4a1c1c7829dd7e168ae27420 (patch) | |
| tree | d0c2e4d934cc34ba7d4232f759923b5a257dcb21 /bin/prado-cli | |
| parent | b833247ce597ec26159b46c8dfbea7f1e265950b (diff) | |
Merge up to r3319
Diffstat (limited to 'bin/prado-cli')
| -rwxr-xr-x | bin/prado-cli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/prado-cli b/bin/prado-cli new file mode 100755 index 00000000..0d504299 --- /dev/null +++ b/bin/prado-cli @@ -0,0 +1,4 @@ +#!/usr/bin/env php +<?php +//execute the command line tool +include(dirname(__FILE__).'/prado-cli.php'); |