Mentions légales du service

Skip to content

sync heap_lang LICENSE file

Ralf Jung requested to merge ralf/license into master

We fixed our LICENSE file in https://gitlab.mpi-sws.org/iris/iris/merge_requests/387, this syncs the fix into this repo.

Cc @gmevel @jhjourdan

Merge request reports