aboutsummaryrefslogtreecommitdiff
path: root/etc/NOTICE
blob: a8dd3a6cda93b4a567c9a54cb3a06f4f8bd54855 (plain) 
1
2

(* (c) Copyright Microsoft Corporation and Inria.                       *)
(* You may distribute this file under the terms of the CeCILL-B license *)
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:59:04 +0000