Commit b46c0c01 authored by Xavier Leroy's avatar Xavier Leroy Committed by Xavier Leroy
Browse files

Update the list of dual-licensed files

Closes: #351
parent e13dd0e1
......@@ -46,8 +46,8 @@ option) any later version:
all files in the exportclight/ directory
the Archi.v, CBuiltins.ml, and extractionMachdep.v files
in directories arm, powerpc, riscV, x86, x86_32, x86_64
the Archi.v, Builtins1.v, CBuiltins.ml, and extractionMachdep.v files
in directories aarch64, arm, powerpc, riscV, x86, x86_32, x86_64
extraction/extraction.v
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment