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 /cparser | |
| parent | de40fce9c16ced8d23389cbcfc55ef6d99466fe8 (diff) | |
| download | compcert-d35426083623b2cb659d977f3c7f73dd6de4e383.tar.gz compcert-d35426083623b2cb659d977f3c7f73dd6de4e383.zip | |
Isuue #50: outdated comment on type RTL.function.
Diffstat (limited to 'cparser')
0 files changed, 0 insertions, 0 deletions