diff options
| author | varac <varacanero@zeromail.org> | 2017-04-06 17:12:18 +0200 |
|---|---|---|
| committer | Kali Kaneko <kali@leap.se> | 2017-07-07 21:25:06 +0200 |
| commit | 5b4e5c3c44d7538a0f995408f959ceb9226ce54b (patch) | |
| tree | a4dc34f5ffd14ca25ae5c2a302bf1d0d65c2ea74 /debian/clean | |
| parent | 1f8e7fdf24cd917884ff10b613da81c267c7e5aa (diff) | |
[benchmarks] Use git reset --hard so commit_info.branch will stay at master
Diffstat (limited to 'debian/clean')
0 files changed, 0 insertions, 0 deletions