[Piuparts-commits] [SCM] piatti.debian.org configuration files branch, piatti, updated. 24ba323ca7a5bd9a02680491045626f7c7f2813e

[Holger Levsen]

The following commit has been merged in the piatti branch:
commit 24ba323ca7a5bd9a02680491045626f7c7f2813e
Author: Andreas Beckmann <beckmann at cs.uni-frankfurt.de>
Date:   Wed Nov 16 05:18:57 2011 +0100

    this is still a bash script

diff --git a/home/piupartsm/bin/detect_well_known_errors b/home/piupartsm/bin/detect_well_known_errors
index 1d73e5d..6211aa5 100755
--- a/home/piupartsm/bin/detect_well_known_errors
+++ b/home/piupartsm/bin/detect_well_known_errors
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Copyright 2009-2010 Holger Levsen (holger at layer-acht.org)
 # 

-- 
piatti.debian.org configuration files