diff options
| author | Björn Gustavsson <[email protected]> | 2017-09-15 10:08:18 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-09-15 10:08:18 +0200 |
| commit | b991746008c0bd58b99dbff3ca4be99004798e03 (patch) | |
| tree | e513773e3869ed554eb5193edaa23dfdb84d8685 /configure.in | |
| parent | dd0e4b76d7ef6ea8ecceb246ee9eef19a92b4fbf (diff) | |
| parent | fd831cb49994fac7db32a058afeb3a766c8112b1 (diff) | |
| download | otp-b991746008c0bd58b99dbff3ca4be99004798e03.tar.gz otp-b991746008c0bd58b99dbff3ca4be99004798e03.tar.bz2 otp-b991746008c0bd58b99dbff3ca4be99004798e03.zip | |
Merge branch 'maint'
* maint:
Document that the compiler may optimize away atoms
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions