chiark / gitweb /
Notify when a cherry-picked commit was modified by 'pick'
[stgit] / stg-prof
2005-10-04 Catalin MarinasAdd an uninstallable script for profiling