Moving this from https://gitorious.org/thoreau/instrumentation/ as Gitorious.org is shutting down in May 2015.
This repository has been archived by the owner on Feb 22, 2019. It is now read-only.
Moving this from https://gitorious.org/thoreau/instrumentation/ as Gitorious.org is shutting down in May 2015.