diff options
| author | Dan Gudmundsson <[email protected]> | 2019-08-09 15:25:04 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-09 15:25:04 +0200 |
| commit | 0b7e07068720b93b4fa5672bdaced5cddc0f781b (patch) | |
| tree | 323b3f598f8e7c02f54b113a7495dfc56b35f695 /bootstrap/bin/no_dot_erlang.boot | |
| parent | f4c00eb745207d33dbcc330433e074329aab61c7 (diff) | |
| parent | 96c328a5de1c82e1931055ab8f5c34080368a6af (diff) | |
| download | otp-0b7e07068720b93b4fa5672bdaced5cddc0f781b.tar.gz otp-0b7e07068720b93b4fa5672bdaced5cddc0f781b.tar.bz2 otp-0b7e07068720b93b4fa5672bdaced5cddc0f781b.zip | |
Merge pull request #2332 from the-mikedavis/patch-1
Correct documentation on dump_log_write_threshold default value
Diffstat (limited to 'bootstrap/bin/no_dot_erlang.boot')
0 files changed, 0 insertions, 0 deletions