diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-01-20 17:25:10 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-01-20 17:33:09 +0100 |
| commit | 86f5c0cbfa64c5d0949365369529c5b607878ef8 (patch) | |
| tree | fadba5223c85fda1c0586b1ebed33c84420cff61 /test-suite/success/Conjecture.v | |
| parent | af5eafaee218935c35f0bd906727d2d2370bd136 (diff) | |
Update copyright headers.
Diffstat (limited to 'test-suite/success/Conjecture.v')
0 files changed, 0 insertions, 0 deletions