diff options
| author | Raimo Niskanen <[email protected]> | 2018-09-10 12:04:26 +0200 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2018-09-10 12:04:26 +0200 |
| commit | 75f38119d8ae00e188aedc826029db0e133cb6fd (patch) | |
| tree | 0969e3ea201680d2cc53d462ac8b2600f49e4c48 /scripts | |
| parent | 4f11bb85a427d60ca55ffa63128f17b9dba98bd6 (diff) | |
| parent | e180470d0da74692a83a0789513685f8873a1b1d (diff) | |
| download | otp-75f38119d8ae00e188aedc826029db0e133cb6fd.tar.gz otp-75f38119d8ae00e188aedc826029db0e133cb6fd.tar.bz2 otp-75f38119d8ae00e188aedc826029db0e133cb6fd.zip | |
Merge branch 'raimo/improve-doc-indexing/ERL-666' into maint
* raimo/improve-doc-indexing/ERL-666:
Correct doc markers
Improve indexing of cref docs
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions