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 /lib/diameter/doc/src/Makefile | |
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 'lib/diameter/doc/src/Makefile')
0 files changed, 0 insertions, 0 deletions