diff options
author | Björn-Egil Dahlberg <[email protected]> | 2012-03-09 15:40:23 +0100 |
---|---|---|
committer | Björn-Egil Dahlberg <[email protected]> | 2012-03-09 15:40:23 +0100 |
commit | bcf19f1d079720272198ba1a6b36a8718e6f2303 (patch) | |
tree | 1451803482460e1fb42487aa530fc89df10d8289 /lib/tools | |
parent | bcfc98b5a1a236c0cb5d5f06c16ed762e416e6e0 (diff) | |
parent | 3e313c2b3930b22edd43add9ecd817d16a77eb2a (diff) | |
download | otp-bcf19f1d079720272198ba1a6b36a8718e6f2303.tar.gz otp-bcf19f1d079720272198ba1a6b36a8718e6f2303.tar.bz2 otp-bcf19f1d079720272198ba1a6b36a8718e6f2303.zip |
Merge branch 'egil/redocument-scheduler_wall_time/OTP-9858' into maint
* egil/redocument-scheduler_wall_time/OTP-9858:
doc: Enhance wording and remove typos
doc: Move examples and notes into tag-lists
doc: Rewording of scheduler_wall_time
doc: Change variable name to 'A' to reflect Active
doc: Rewording of scheduler busy
Update scheduler_wall_time documentation
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions