On 06/19/2012 10:49 AM, Andreas Boll wrote: > this script is obsolete since > 0cc216676c96efacb0e1eb82457e6a83920ae704 > --- > bin/confdiff.sh | 48 ------------------------------------------------ > 1 files changed, 0 insertions(+), 48 deletions(-) > delete mode 100755 bin/confdiff.sh Heh! :D It sure is... Applied, thanks.