Jürgen Buchmüller 4e28345b79 cegui: rename -docs to -doc		2015-09-28 09:24:09 +02:00
..
patches	…
template	cegui: rename -docs to -doc	2015-09-28 09:24:09 +02:00