]> https://gitweb.dealii.org/ - dealii.git/commit
Documentation: Remove useless pages for sub categories 1401/head
authorMatthias Maier <tamiko@43-1.org>
Thu, 20 Aug 2015 15:11:52 +0000 (10:11 -0500)
committerMatthias Maier <tamiko@43-1.org>
Thu, 20 Aug 2015 15:13:28 +0000 (10:13 -0500)
commit8cb98b479a940bebbec5eb7bf719c777c5cdfff1
tree1277a6c4227a5f74949ed03147c3776fd24a2052
parent0f311b303e8b664e6706c3cb7baff06c63b90140
Documentation: Remove useless pages for sub categories

Nobody sees those pages anyway because the menu in documentation.html links
to the individual topics directly..
doc/developers/index.html [deleted file]
doc/developers/navbar.html [deleted file]
doc/developers/title.html [deleted file]
doc/developers/toc.html [deleted file]
doc/documentation.html
doc/navbar.html
doc/screen.css
doc/users/index.html [deleted file]
doc/users/navbar.html [deleted file]
doc/users/title.html [deleted file]
doc/users/toc.html [deleted file]

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.