Pierre Pronchery fa7d0f8043 Add the manual page for settings(1)		2018-01-22 19:39:06 +01:00
..
manual	Add the manual page for settings(1)	2018-01-22 19:39:06 +01:00
docbook.sh	Import newer version of the script upstream	2017-10-16 00:52:44 +02:00
project.conf	Also ship doc/docbook.sh and config.sh	2013-12-22 00:54:07 +01:00