diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-23 10:59:53 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-23 10:59:53 +0100 |
| commit | 5474aa6f94f4d83c4f3b03e00357b7fd47a8f2b8 (patch) | |
| tree | 6e50d324362339b9c64480f42960a490faf4548c /bin/check-opcodes | |
| parent | 865de4ebc3753e78cd1fe2083d213c364afe4000 (diff) | |
| download | builder-5474aa6f94f4d83c4f3b03e00357b7fd47a8f2b8.tar.xz | |
bin/bootstrap-mysql: set head on bootstrapping to HEAD
Diffstat (limited to 'bin/check-opcodes')
0 files changed, 0 insertions, 0 deletions