Andreas Jaeger b080d0d698 Remove navigation.html ... This file is not used at all, remove it. Change-Id: I32e50965769961c69b90c56d6153721e05bcfedf		2017-08-03 13:18:59 +02:00
..
theme	Remove navigation.html	2017-08-03 13:18:59 +02:00
__init__.py	show release series names not version tags	2017-07-31 11:30:49 -04:00
version.py	Add reno for release-notes	2015-11-10 08:37:48 +01:00