diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-08-24 09:23:48 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-08-24 09:26:50 +0200 |
commit | 78ce76b87a7de88dcdf6d742428d5474dac19867 (patch) | |
tree | e416bb30587656d78a9501a4d3b1382e3e9d2777 /debug/DebugTypes.mli | |
parent | 1643b763c1270524f0efe69df4fed110a1f81e9d (diff) | |
download | compcert-78ce76b87a7de88dcdf6d742428d5474dac19867.tar.gz compcert-78ce76b87a7de88dcdf6d742428d5474dac19867.zip |
Edit documentation comments for [alignas_attribute] and [has_std_alignas]
Diffstat (limited to 'debug/DebugTypes.mli')
0 files changed, 0 insertions, 0 deletions