summaryrefslogtreecommitdiff
path: root/src/tools/irm
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-02-11 12:39:54 +0100
committerDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-02-12 11:24:45 +0100
commit415f7e3fbbac65494a730526f1a879f098a80bf9 (patch)
tree7380e2f39c30ecc362b9a1766dc2723dae48b98b /src/tools/irm
parent8223c41a70289ffc8c1c3ddbf56be7b11e91d024 (diff)
downloadouroboros-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