diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-03-26 11:11:56 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-03-26 11:23:26 -0700 |
commit | 3090423f2cb47666a85db7b2f2df982239e7874d (patch) | |
tree | 324b6fd17b3782010688b522057536452d21d329 /proofs/signatures/th_bv.plf | |
parent | 20569472704deb899d577be7800ec902e5883fa5 (diff) |
update-copyright: Update to 2019.
Diffstat (limited to 'proofs/signatures/th_bv.plf')
0 files changed, 0 insertions, 0 deletions