diff options
author | Dan Gudmundsson <[email protected]> | 2017-11-30 12:10:02 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2017-11-30 12:10:02 +0100 |
commit | 5033b579c012abb52d4bdcca34f0d8f3a678cb22 (patch) | |
tree | 6f874c422241a6cfb08e237965db0c9072425371 /erts/example | |
parent | 6fb6f4222f2cf924cbb9174d33c3b3190cfe52f2 (diff) | |
parent | 35266110ade3b34b879327e5bc4bbd2d367e305a (diff) | |
download | otp-5033b579c012abb52d4bdcca34f0d8f3a678cb22.tar.gz otp-5033b579c012abb52d4bdcca34f0d8f3a678cb22.tar.bz2 otp-5033b579c012abb52d4bdcca34f0d8f3a678cb22.zip |
Merge branch 'maint'
* maint:
Fix type create_option() in mnesia
Diffstat (limited to 'erts/example')
0 files changed, 0 insertions, 0 deletions