diff options
| author | Rickard Green <[email protected]> | 2015-09-09 18:16:24 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2015-09-09 18:16:24 +0200 |
| commit | 4cfc35b1ef3667885b8de9df53b8ab8429117865 (patch) | |
| tree | 592d981a41aee96ae21c01a3049009d65f422bbc /erts/etc/ose | |
| parent | fff7daa154a1b96b3e11d74bd2d60fc3a41aa832 (diff) | |
| parent | 08f8b454596d51de367e5559b7104300c2a7b954 (diff) | |
| download | otp-4cfc35b1ef3667885b8de9df53b8ab8429117865.tar.gz otp-4cfc35b1ef3667885b8de9df53b8ab8429117865.tar.bz2 otp-4cfc35b1ef3667885b8de9df53b8ab8429117865.zip | |
Merge branch 'rickard/clock-sources/OTP-12945' into maint
* rickard/clock-sources/OTP-12945:
Improve choice of clock sources at build time
Diffstat (limited to 'erts/etc/ose')
0 files changed, 0 insertions, 0 deletions