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 /Makefile.extr | |
| parent | af2cd75bc1e8fb119e2ef091f51355db333167ac (diff) | |
| download | compcert-kvx-82435bab1bf71c37c645f0853bf02b3d4224bc6d.tar.gz compcert-kvx-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 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions