diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-01-11 15:12:02 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-01-11 15:12:02 +0100 |
commit | d39a9b5eac9369a91d75b9a170c5590a976671e4 (patch) | |
tree | e3b9f82b1292d0d5bcd003d0adb392288c2d550d /test/regression/sizeof2.c | |
parent | e62ce4ba961cd0767a80f9e89f6f559bc1e341e9 (diff) | |
download | compcert-d39a9b5eac9369a91d75b9a170c5590a976671e4.tar.gz compcert-d39a9b5eac9369a91d75b9a170c5590a976671e4.zip |
Update copyright section
So that it is consistent with the LICENSE file.
Diffstat (limited to 'test/regression/sizeof2.c')
0 files changed, 0 insertions, 0 deletions