Marius Hein b6daf2237d Menu: Add html5 nav element to menu ... refs #7933		2015-02-12 13:14:01 +01:00
..
icinga	Menu: Add html5 nav element to menu	2015-02-12 13:14:01 +01:00
pdf	Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL	2015-02-04 10:52:27 +01:00
vendor	Rename tipsy stylesheet file type to css and add license	2014-09-03 17:01:07 +02:00