diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-09-15 17:31:31 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-09-15 17:31:31 +0200 |
commit | d35426083623b2cb659d977f3c7f73dd6de4e383 (patch) | |
tree | ca06325030c37f427d0e9cb0281bc7e2fe0121c5 /LICENSE | |
parent | de40fce9c16ced8d23389cbcfc55ef6d99466fe8 (diff) | |
download | compcert-d35426083623b2cb659d977f3c7f73dd6de4e383.tar.gz compcert-d35426083623b2cb659d977f3c7f73dd6de4e383.zip |
Isuue #50: outdated comment on type RTL.function.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions