From 3069eaf35e833ffe4a1c1c7829dd7e168ae27420 Mon Sep 17 00:00:00 2001
From: Ciro Mattia Gonano <ciromattia@gmail.com>
Date: Wed, 11 Sep 2013 15:56:48 +0200
Subject: Merge up to r3319

---
 bin/prado-cli | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 bin/prado-cli

(limited to 'bin/prado-cli')

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');
-- 
cgit v1.2.3