workaround progression pipe bug
[booh] / .gitignore
1 ChangeLog