diff options
author | Fredrik Gustafsson <[email protected]> | 2013-08-19 15:48:47 +0200 |
---|---|---|
committer | Fredrik Gustafsson <[email protected]> | 2013-08-19 15:48:47 +0200 |
commit | 0f01c8195a9810fe5ee881440c949ccab15c5db7 (patch) | |
tree | 57ff83a06caf7491928fc87976e94e583bd46b3c /lib/ic/examples/pre_post_condition/tracer.erl | |
parent | 2938ab325fd04d342036d77e214246276f00ffe1 (diff) | |
parent | f07a92206bfbef5188b9d567559e1b13014dd82c (diff) | |
download | otp-0f01c8195a9810fe5ee881440c949ccab15c5db7.tar.gz otp-0f01c8195a9810fe5ee881440c949ccab15c5db7.tar.bz2 otp-0f01c8195a9810fe5ee881440c949ccab15c5db7.zip |
Merge branch 'fredrik/mnesia/fix_removing_bup/OTP-11241' into maint
* fredrik/mnesia/fix_removing_bup/OTP-11241:
mnesia: fix removal of bup file if not mnesia is started
Diffstat (limited to 'lib/ic/examples/pre_post_condition/tracer.erl')
0 files changed, 0 insertions, 0 deletions