diff options
| author | coqbot-app[bot] | 2021-02-04 11:06:49 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-04 11:06:49 +0000 |
| commit | c7d0084fc64042380dd1675095f8be6ec438fcb0 (patch) | |
| tree | 9a4f0721769e9494f68eb60a1b011029ad452d08 /sysinit/usage.ml | |
| parent | 4b7feb4e022eab13ead7468687a53bc5afae0f8f (diff) | |
| parent | e5093e8c205d292ab15b6a64c3d6671583ab6495 (diff) | |
Merge PR #13528: [RM] Script to list the contributors between two git revisions
Reviewed-by: Zimmi48
Reviewed-by: gares
Diffstat (limited to 'sysinit/usage.ml')
0 files changed, 0 insertions, 0 deletions