Mirror of https://gitorious.org/tinythread/tinythreadpp