diff options
author | Siri Hansen <[email protected]> | 2019-02-11 12:34:39 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-02-11 12:34:39 +0100 |
commit | 657dea63080ef1cd732e1e7694c3358072354401 (patch) | |
tree | 4e90be9b843c1f5fe088e277d0bfee193bb1fe8d /erts/preloaded | |
parent | 8f2e7b2c1082d34b59dfb534ce7e0c7993e2f9ee (diff) | |
parent | 8029c3653d3f569e146811af85a643559415c76f (diff) | |
download | otp-657dea63080ef1cd732e1e7694c3358072354401.tar.gz otp-657dea63080ef1cd732e1e7694c3358072354401.tar.bz2 otp-657dea63080ef1cd732e1e7694c3358072354401.zip |
Merge pull request #2067 from okeuday/reltool_rel_options
reltool: Add load_dot_erlang rel option
OTP-15571
Diffstat (limited to 'erts/preloaded')
0 files changed, 0 insertions, 0 deletions