# HG changeset patch
# User wolffd <wolffd.mail@googlemail.com>
# Date 1528212147 -3600
# Node ID f3103f125c2d62aee4fc400e3ed660856753ad26
# Parent  3b9d5b99895e534fef047773eb4b2fd2c2bebdbc
interpreter

diff -r 3b9d5b99895e -r f3103f125c2d etc/setup_as_dml.sh
--- a/etc/setup_as_dml.sh	Tue Jun 05 16:19:05 2018 +0100
+++ b/etc/setup_as_dml.sh	Tue Jun 05 16:22:27 2018 +0100
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # ------------------ CONFIG ----------------
 
 INSTALL_SWI=no