Wed, 05 Nov 2008 10:32:14 +0000 Florian Pose merge -c1519 trunk: *space without whitespace; licensing; userspace interfaces. stable-1.4
Wed, 05 Nov 2008 10:28:30 +0000 Florian Pose merge -c1513 trunk: sec:ecrt is a chapter; sec:eoeimp -> sec:eoe, ... stable-1.4