summaryrefslogtreecommitdiff
path: root/doc/gpl.texi
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-04-30 12:31:09 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-04-30 12:31:09 +0200
commit1a9af211b3f0fb93611e6795ce66576b2ab230c8 (patch)
tree33388afe78e0ae60e1e2672483a5f23acdc9fc88 /doc/gpl.texi
parentb28e05e203e0739fa5db59c5af378b29eea7a232 (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