1
1
mirror of https://github.com/github/semantic.git synced 2024-12-28 17:32:05 +03:00
Commit Graph

1 Commits

Author SHA1 Message Date
Patrick Thomson
fb1b145bd7 Add script to simplify profiling.
This script is useful in that it takes care of remembering past
results and imvoking profiteur/hp2pretty/etc. We had this back in the
day, but it didn't make the transition to the new repository.
2019-08-12 15:03:08 -04:00