Dirk Ziegelmeier 4c06a737a4 Add redirection page for HTML doxygen output so one does not have to search for index.html in the huge output/html directory

2016-08-03 12:34:17 +02:00

..

index.html

…