]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - command_util.sh
05_DCCP-Remove-Unused.diff
[paraslash.git] / command_util.sh
index 822cad2af5a74037867e95d5613c27e8eb56f2ee..f0a861d61d887b5e68b9e90e9b9cfa512c23b9b6 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 
 read_header()