diff options
author | Siri Hansen <[email protected]> | 2018-08-06 12:06:30 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-08-06 12:06:30 +0200 |
commit | ce0ab49ca59dc56cb4774abc1f635b7ff9cf97df (patch) | |
tree | 70fd78dac4456713d19536661b69a9b40f9c30be /lib/mnesia/doc | |
parent | fa6f32fa647a02e1735fca868b589c1f8b2ac5f8 (diff) | |
parent | 435de985cf35362c5df97fdad65dd4a06c18d586 (diff) | |
download | otp-ce0ab49ca59dc56cb4774abc1f635b7ff9cf97df.tar.gz otp-ce0ab49ca59dc56cb4774abc1f635b7ff9cf97df.tar.bz2 otp-ce0ab49ca59dc56cb4774abc1f635b7ff9cf97df.zip |
Merge pull request #1807 from milmazz/improve-cover-html-pages
Improve Cover HTML page
OTP-15213
Diffstat (limited to 'lib/mnesia/doc')
0 files changed, 0 insertions, 0 deletions