Darko Poljak a531910f48 Rename 'manuals' to 'manual'		2019-05-05 17:06:02 +02:00
..
_sources	Rename 'manuals' to 'manual'	2019-05-05 17:06:02 +02:00
_static	Rename 'manuals' to 'manual'	2019-05-05 17:06:02 +02:00
man1	Rename 'manuals' to 'manual'	2019-05-05 17:06:02 +02:00
man7	Rename 'manuals' to 'manual'	2019-05-05 17:06:02 +02:00
genindex.html	Rename 'manuals' to 'manual'	2019-05-05 17:06:02 +02:00
index.html	Rename 'manuals' to 'manual'	2019-05-05 17:06:02 +02:00
objects.inv	Rename 'manuals' to 'manual'	2019-05-05 17:06:02 +02:00
search.html	Rename 'manuals' to 'manual'	2019-05-05 17:06:02 +02:00
searchindex.js	Rename 'manuals' to 'manual'	2019-05-05 17:06:02 +02:00