summaryrefslogtreecommitdiff
path: root/kern
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-09-26 02:24:35 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-09-26 02:24:35 +0200
commit7958fdaae2f342a6ffe4c54ebc8c1b76bf80b490 (patch)
tree26953404070d278a53efe4b062e376e9bb904515 /kern
parent9fbbb4de17883a6b148a6dd098c726bef01a5c1b (diff)
Fix gpl.texi build
texinfo does not support @heading/@center in the middle of an enumerate. * doc/gpl.texi: Move "NO WARRANTY" to item heading.
Diffstat (limited to 'kern')
0 files changed, 0 insertions, 0 deletions