Houtan Bastani 45af7e4a7d doc: footnotes come after periods		2019-09-06 10:48:56 +02:00
..
source	doc: footnotes come after periods	2019-09-06 10:48:56 +02:00
utils	Add files missing in e5f938a8e	2019-02-21 17:06:47 +01:00
Makefile.am	Manual: fix HTML prerequisites in Makefile	2019-05-16 16:55:23 +02:00