Reapply changes missed during the previous merge (duh ...)
[senf.git] / senfscons / __init__.py