diff options
| author |  Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-10 12:53:21 -0700 |
|---|---|---|
| committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-10 12:56:43 -0700 |
| commit | ac4cd66fb3bc1f8683f081c460c6cfb8324499b8 (patch) | |
| tree | 067acef86e0195ac6b6bc9e2f25c9f11c4119bd5 /README | |
| parent | 6681523e3fb3c6170d144346b18d094bf8ff4e75 (diff) | |
Relicense under Modified (3-clause) BSD License
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions