diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-18 12:53:53 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-18 12:53:53 -0500 |
| commit | 6a94704db9d3e66ed7f54f75a37096e543552866 (patch) | |
| tree | e60ba07fc9de20358d446852907074b4cdc8a081 /.mailmap | |
| parent | 1af890ef4fed0c0151dc2ab954dce0121dd283d8 (diff) | |
Unified fairness scheme for cegis unif (#1941)
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions