diff options
| author | Dan Gudmundsson <[email protected]> | 2016-11-08 09:51:40 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2016-11-08 09:51:40 +0100 |
| commit | 2d78b8d501ba9c108c735212a985e96792b79999 (patch) | |
| tree | 596509dda516dacd3d2bff5627120bb0ecf0eb5e /lib/mnesia/src/mnesia.erl | |
| parent | 0805ac891e3a048e0d7382dec84b8682ad9c6c9c (diff) | |
| parent | cd8438832471e7444eec7b78cd1aaee6779cc28a (diff) | |
| download | otp-2d78b8d501ba9c108c735212a985e96792b79999.tar.gz otp-2d78b8d501ba9c108c735212a985e96792b79999.tar.bz2 otp-2d78b8d501ba9c108c735212a985e96792b79999.zip | |
Merge branch 'richcarl/mnesia-app-module/PR-1223'
* richcarl/mnesia-app-module/PR-1223:
Make a separate application module for Mnesia
Diffstat (limited to 'lib/mnesia/src/mnesia.erl')
| -rw-r--r-- | lib/mnesia/src/mnesia.erl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/mnesia/src/mnesia.erl b/lib/mnesia/src/mnesia.erl index 5bf2fc2dc3..9c7321ee43 100644 --- a/lib/mnesia/src/mnesia.erl +++ b/lib/mnesia/src/mnesia.erl @@ -273,6 +273,7 @@ kill() -> ms() -> [ mnesia, + mnesia_app, mnesia_backup, mnesia_bup, mnesia_checkpoint, |