diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-22 12:58:13 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-25 14:11:54 -0700 |
| commit | 897f55537b84bef1dae6cc32b383c76aa2734c1f (patch) | |
| tree | 774e21213f746c3760c6943deee33417a39a9cfd /src/options/theoryof_mode.cpp | |
| parent | ca64e0485fd07167e3d4c905b86ef7c372287b05 (diff) | |
Do not use git blame -C in get-authors (too many false positives).
Diffstat (limited to 'src/options/theoryof_mode.cpp')
0 files changed, 0 insertions, 0 deletions