diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-05-28 11:53:19 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-05-28 11:53:19 -0400 |
| commit | fc310baba1114b1c9d10c9055ded950bb8dc64cf (patch) | |
| tree | e37cdff7a7b7a98a9685f6ad39bf882a0c7f3e97 /src/config.sml.in | |
| parent | 4cee29f03879d25963e3d8a8dda879e0a007033c (diff) | |
Align to sizeof(void *) instead of fixed 4
Diffstat (limited to 'src/config.sml.in')
0 files changed, 0 insertions, 0 deletions