diff --git a/CLA.md b/CLA.md index f4c5bf91ab59f6b6eaaf29a674db2501a5abe662..32148d6b0fbfc8bdfed9b451a858f67312000cb4 100644 --- a/CLA.md +++ b/CLA.md @@ -1,5 +1,11 @@ +--- +geometry: +- top=15mm +- bottom=15mm +- margin=10mm +--- Contributor Agreement ---------------------- +===================== Thank you for your interest in contributing to Frama-C, distributed by the Commissariat à l'Energie Atomique et aux Energies Alternatives @@ -215,3 +221,13 @@ or any limited remedy to the maximum extent possible under law. 8.5 You agree to notify Us of any facts or circumstances of which you become aware that would make this Agreement inaccurate in any respect. + +**Signature** + +- Name: +- Entity (if applicable): +- Town: +- Email: +- Gitlab login: +- Date: +- Signature diff --git a/CLA.pdf b/CLA.pdf new file mode 100644 index 0000000000000000000000000000000000000000..66c34991d791c9f8aed2df2603543416d655a9f6 Binary files /dev/null and b/CLA.pdf differ