From 76753993bc63d3def82f8b385e57b2aa6e61821c Mon Sep 17 00:00:00 2001
From: Vincent Mazenod <vmazenod@gmail.com>
Date: Thu, 20 Dec 2018 12:14:54 +0100
Subject: [PATCH] add bin/stop

---
 bin/stop | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 bin/stop

diff --git a/bin/stop b/bin/stop
new file mode 100755
index 0000000..b90a76c
--- /dev/null
+++ b/bin/stop
@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+
+bash develop_server.sh stop
-- 
GitLab