Remove superfluous main page from Doxygen
commit0777a9337ad0e793115616f6da75d999cfb1e7c5
authorJakub Jermar <jakub@jermar.eu>
Mon, 3 Dec 2018 21:39:42 +0000 (3 22:39 +0100)
committerJakub Jermar <jakub@jermar.eu>
Mon, 3 Dec 2018 21:39:42 +0000 (3 22:39 +0100)
tree8507193de787b3e9e5995baba0eb91f324693893
parentde0af3afebf0198d5752b631cae05c2546287398
Remove superfluous main page from Doxygen
uspace/doc/main_page.h [deleted file]