diff options
author | Dan Gudmundsson <[email protected]> | 2018-03-20 10:39:54 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2018-03-20 10:39:54 +0100 |
commit | 01460976cfa3222f618ac494f462eccd0ba9a1c8 (patch) | |
tree | 791cb8109d225afb03378938375a2e0a9f48f490 /lib/stdlib/doc/src/re.xml | |
parent | afef67efa388512ff5c3023bb9f3401bb7e7885b (diff) | |
parent | 3e0cecc541fc9cd85b4c5878e58a7ec4a3142368 (diff) | |
download | otp-01460976cfa3222f618ac494f462eccd0ba9a1c8.tar.gz otp-01460976cfa3222f618ac494f462eccd0ba9a1c8.tar.bz2 otp-01460976cfa3222f618ac494f462eccd0ba9a1c8.zip |
Merge pull request #1742 from michalmuskala/code-ensure-loaded
Short-circuit code:ensure_loaded for already-loaded modules
Diffstat (limited to 'lib/stdlib/doc/src/re.xml')
0 files changed, 0 insertions, 0 deletions