Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
As agreed, remove the reference to the former CeCILL v2 license (seco…
…nd step) (#209) * relicense to MPL-2.0 using a script * changing license field in opam file, thx to @Zimmi48 * renamed MPL-2.0 license file for GitHub automatic recognition * removed reference to former CeCILL license
- Loading branch information