diff -r 15f5f431ec9e -r e3523df95b6b scripts/showSamples.sh
--- a/scripts/showSamples.sh	Sun Apr 24 16:14:41 2011 +0200
+++ b/scripts/showSamples.sh	Thu Jun 30 18:14:01 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