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 /Makefile | |
parent | 1f8e7fdf24cd917884ff10b613da81c267c7e5aa (diff) |
[benchmarks] Use git reset --hard so commit_info.branch will stay at master
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions