tree b03401f800161bf001bd38bf6f6c0f8e1bd041f6
parent 16effefa68e0c8f543f50b22c25aa390b6525f7e
author Bart De Schuymer <bdschuym@pandora.be> 1103660952 +0000
committer Bart De Schuymer <bdschuym@pandora.be> 1103660952 +0000

update and reformulation