diff options
| author | Rickard Green <[email protected]> | 2014-08-14 21:34:51 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2014-08-14 21:34:51 +0200 |
| commit | 69fbb4bd0466931882cc275b1ecb1f81fee97f0d (patch) | |
| tree | cd43364d01be2098ed54106f4bd19dd17149f966 /erts/doc/src/erl.xml | |
| parent | 3061996644f9e92efc754cdcd6e6e33852af025a (diff) | |
| parent | c56edba2912e12f15226a1e130fdfac25c29b98f (diff) | |
| download | otp-69fbb4bd0466931882cc275b1ecb1f81fee97f0d.tar.gz otp-69fbb4bd0466931882cc275b1ecb1f81fee97f0d.tar.bz2 otp-69fbb4bd0466931882cc275b1ecb1f81fee97f0d.zip | |
Merge branch 'maint'
* maint:
Fix +swct doc
Diffstat (limited to 'erts/doc/src/erl.xml')
| -rw-r--r-- | erts/doc/src/erl.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/doc/src/erl.xml b/erts/doc/src/erl.xml index 5bde285311..f856b9ab86 100644 --- a/erts/doc/src/erl.xml +++ b/erts/doc/src/erl.xml @@ -1186,7 +1186,7 @@ utilization. </p> </item> - <tag><marker id="+swct"><c>+sws very_eager|eager|medium|lazy|very_lazy</c></marker></tag> + <tag><marker id="+swct"><c>+swct very_eager|eager|medium|lazy|very_lazy</c></marker></tag> <item> <p> Set scheduler wake cleanup threshold. Default is <c>medium</c>. |