diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-05-21 01:02:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-21 08:02:57 +0000 |
| commit | d6372cf53c77d205f796d40603f36228844b6de6 (patch) | |
| tree | 361c78ccde362a7ee28c2736f8550f9b3c3d5a39 /src/expr/proof_rule.h | |
| parent | 84fdf87a74a7104a0eccaf7a817597b086c3afa9 (diff) | |
api docs: Update copyright. (#6596)
Diffstat (limited to 'src/expr/proof_rule.h')
0 files changed, 0 insertions, 0 deletions