diff options
author | Erlang/OTP <[email protected]> | 2017-06-02 10:38:13 +0200 |
---|---|---|
committer | Erlang/OTP <[email protected]> | 2017-06-02 10:38:13 +0200 |
commit | 13b3ff0f9b45e61c071ddbec2ce45345fddecefe (patch) | |
tree | f73184f9afc15e6b07a3b6745a1f43063dfba200 /lib/syntax_tools/src/erl_recomment.erl | |
parent | f954cdea9b67369185094a3aea7cb611dd680b3c (diff) | |
parent | 81b62880e3768dcd161f107f766f3e6e89d59446 (diff) | |
download | otp-13b3ff0f9b45e61c071ddbec2ce45345fddecefe.tar.gz otp-13b3ff0f9b45e61c071ddbec2ce45345fddecefe.tar.bz2 otp-13b3ff0f9b45e61c071ddbec2ce45345fddecefe.zip |
Merge branch 'lukas/erts/restore-sigterm-default/OTP-14418' into maint-19
* lukas/erts/restore-sigterm-default/OTP-14418:
erts: Add undocumented option to do default SIGTERM
Diffstat (limited to 'lib/syntax_tools/src/erl_recomment.erl')
0 files changed, 0 insertions, 0 deletions