diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-06-13 13:48:26 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-06-13 13:48:26 +0200 |
commit | bf421955c3887d12f0ca0655b2043dc68db428fb (patch) | |
tree | 5111f827366ce618efe95b587a70bdabc6c2c3b7 /src/cython/test/test_witness_complex.py | |
parent | 8baa5f1026658f53a11e72a12f226c161b36e756 (diff) |
Move GPL COPYING to MIT LICENSE
Diffstat (limited to 'src/cython/test/test_witness_complex.py')
0 files changed, 0 insertions, 0 deletions