Xavier Morel bbe1845727 [FIX] doc: extra underline for document titles when document has no introductory blurb		2015-04-22 11:50:47 +02:00
..
odoodoc	[FIX] doc: extra underline for document titles when document has no introductory blurb	2015-04-22 11:50:47 +02:00