diff -r 15f5f431ec9e -r 90595d1c1017 scripts/showSamples.sh
--- a/scripts/showSamples.sh	Sun Apr 24 16:14:41 2011 +0200
+++ b/scripts/showSamples.sh	Thu May 19 22:29:49 2011 +0200
@@ -14,6 +14,7 @@
 export GREP_OPTIONS=
 
 # Dump a single sample
+# Note: we can quite safely used the non-mangled .config.2
 dump_single_sample() {
     local verbose=0
     local complibs