diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-07 16:38:42 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-07 16:38:42 -0700 |
commit | 55d4f2a0bb62fb12bc5b2590a5d157157a2715b6 (patch) | |
tree | f9af73dc080ce3586fde802ad675daeabd0df40c /proofs | |
parent | 4fa50d388112bf30f9ebe219898cdc4dea76fd18 (diff) |
Update copyright year and refer to authors URL.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions