diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-30 12:31:09 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-30 12:31:09 +0200 |
| commit | 1a9af211b3f0fb93611e6795ce66576b2ab230c8 (patch) | |
| tree | 33388afe78e0ae60e1e2672483a5f23acdc9fc88 /doc/gpl.texi | |
| parent | b28e05e203e0739fa5db59c5af378b29eea7a232 (diff) | |
doc: fix the number of priorities
The number of priorities has been changed from 32 to 50 in
6a234201081156e6d5742e7eeabb68418b518fad.
* doc/mach.texi: Update accordingly.
Diffstat (limited to 'doc/gpl.texi')
0 files changed, 0 insertions, 0 deletions