diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-07 14:45:27 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-07 14:45:27 -0700 |
| commit | 71b92ec515a27e8a40a7e85e6cbd6a862482574e (patch) | |
| tree | 70ed91c0c5d7d63142d22cf4c4f19f28685207c9 /src/theory/sets | |
| parent | adef38f318e055c09db85e483040528d68d394e5 (diff) | |
Use consistent author names for the copyright headers.
Diffstat (limited to 'src/theory/sets')
0 files changed, 0 insertions, 0 deletions