diff options
author | Siri Hansen <[email protected]> | 2016-11-29 17:26:54 +0100 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2016-11-29 17:26:54 +0100 |
commit | bfd2d44bdd64b6a95c9ee5b55f166994b3a386a2 (patch) | |
tree | cbd4557069470f5ee7bcbde22ec1d3ee9cc2e911 /lib/mnesia/doc | |
parent | 45fee41645692678a18c9c1a4fb85aa1e437b2fa (diff) | |
parent | 306a293d8ba43443f908523c9aa2d6067b7e3847 (diff) | |
download | otp-bfd2d44bdd64b6a95c9ee5b55f166994b3a386a2.tar.gz otp-bfd2d44bdd64b6a95c9ee5b55f166994b3a386a2.tar.bz2 otp-bfd2d44bdd64b6a95c9ee5b55f166994b3a386a2.zip |
Merge branch 'siri/observer/remove-unused-files/OTP-14024' into maint
* siri/observer/remove-unused-files/OTP-14024:
[observer] Remove unused files
Diffstat (limited to 'lib/mnesia/doc')
0 files changed, 0 insertions, 0 deletions