diff options
| author | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-02-11 12:39:54 +0100 |
|---|---|---|
| committer | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-02-12 11:24:45 +0100 |
| commit | 415f7e3fbbac65494a730526f1a879f098a80bf9 (patch) | |
| tree | 7380e2f39c30ecc362b9a1766dc2723dae48b98b /src/tools | |
| parent | 8223c41a70289ffc8c1c3ddbf56be7b11e91d024 (diff) | |
| download | ouroboros-415f7e3fbbac65494a730526f1a879f098a80bf9.tar.gz ouroboros-415f7e3fbbac65494a730526f1a879f098a80bf9.zip | |
Fixed the LICENSE file
Removed the discussion on how people can use the file.
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions