[Piuparts-commits] [SCM] piatti.debian.org configuration files branch, master, updated. 148332ef45997ba3aaf38cc2c9a28441083bad49

[Holger Levsen]

The following commit has been merged in the master 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