chiark / gitweb /
thicker lines are nicer
authorian <ian>
Fri, 22 Oct 2004 22:19:38 +0000 (22:19 +0000)
committerian <ian>
Fri, 22 Oct 2004 22:19:38 +0000 (22:19 +0000)
layout/layout

index 5e1a01b2f5531ca083b6f200501a30d93d06c00e..ba06d0a5ce9d7f1e1ddf6745e74de8edc189d5c9 100755 (executable)
@@ -142,7 +142,7 @@ our $psu_sleeperlen= 17;
 our $psu_sleeperlw= 15;
 our $psu_raillw= 1.0;
 our $psu_thinlw= 1.0;
-our $psu_subseglw= 10.0;
+our $psu_subseglw= 15.0;
 
 our $lmu_marklw= 4;
 our $lmu_marktpt= 11;