diff options
| author | Zach Hilman <zachhilman@gmail.com> | 2019-09-26 09:28:59 -0400 |
|---|---|---|
| committer | Zach Hilman <zachhilman@gmail.com> | 2019-09-26 09:28:59 -0400 |
| commit | ab8d122384a5ccec3ec20b289a2ae68c52501547 (patch) | |
| tree | 8d6fd7245f217e8b6c8f6255a367890ef4fa24d0 /src/common/algorithm.h | |
| parent | 376f1a443216196b71d4cf88c3dcdfe2bad57802 (diff) | |
ci: Add private mergebot script
Uses Azure instead of GitHub
Diffstat (limited to 'src/common/algorithm.h')
0 files changed, 0 insertions, 0 deletions