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/irm | |
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/irm')
0 files changed, 0 insertions, 0 deletions