-
Xavier Leroy authored
There was no good reason why Determinism.v was the only file in common/ that was not dual-licensed (GPL + noncommercial). Plus, it simplifies the wording of the LICENSE file.
db2445b3
This project is licensed under the GNU General Public License v2.0 or later.
Learn more