diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:37:28 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:37:28 +0200 |
commit | 82435bab1bf71c37c645f0853bf02b3d4224bc6d (patch) | |
tree | e7b343ca336213d11369ca538763fdfa8d965a7c /LICENSE | |
parent | af2cd75bc1e8fb119e2ef091f51355db333167ac (diff) | |
download | compcert-82435bab1bf71c37c645f0853bf02b3d4224bc6d.tar.gz compcert-82435bab1bf71c37c645f0853bf02b3d4224bc6d.zip |
Add whitespace, for better vertical alignment and better readability.
This violates the 80-column width limit, but is really important.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions