--- trunk2/all2all.pl 2004/09/12 17:21:47 429 +++ trunk2/all2all.pl 2004/09/12 19:15:54 430 @@ -177,15 +177,18 @@ --> -
+
Folding: -default +
+« default » +
+reset all none -debug +
+debug
-