diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-25 01:05:49 -0400 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-25 01:05:49 -0400 |
commit | d43687a0f25a8e1d7684a82bf0460c79fe784a52 (patch) | |
tree | 9dc40735f18a6766027db37dcab617ff6418cfe0 /images/ProofGeneral.png | |
parent | adbaafb96696f7cd65c53ecad71aac095bee1338 (diff) |
Update license information for new logo
Diffstat (limited to 'images/ProofGeneral.png')
0 files changed, 0 insertions, 0 deletions