PPI: Implement PPI dump
[senf.git] / senfscons / __init__.py