chiark / gitweb /
Make sure switch_branch uses the right __head
[stgit] / stg-prof
2005-10-04 Catalin MarinasAdd an uninstallable script for profiling