diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-05-31 18:43:11 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-05-31 18:43:11 -0400 |
| commit | eda92eac1659f49894804aa6206990f620fe2389 (patch) | |
| tree | 95df6e9ba234bf7ef2aef1e4f981fbd11156d445 /tools/coq_makefile.ml | |
| parent | 88a632b508977966b1e8d4f4449824a55ffc65d1 (diff) | |
Add codeowner for timing python scripts
Diffstat (limited to 'tools/coq_makefile.ml')
0 files changed, 0 insertions, 0 deletions