]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f311b3) | patch
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
tree1277a6c4227a5f74949ed03147c3776fd24a2052tree | snapshot
parent0f311b303e8b664e6706c3cb7baff06c63b90140commit | diff
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] blob | history
doc/developers/navbar.html [deleted file] blob | history
doc/developers/title.html [deleted file] blob | history
doc/developers/toc.html [deleted file] blob | history
doc/documentation.html diff | blob | history
doc/navbar.html diff | blob | history
doc/screen.css diff | blob | history
doc/users/index.html [deleted file] blob | history
doc/users/navbar.html [deleted file] blob | history
doc/users/title.html [deleted file] blob | history
doc/users/toc.html [deleted file] blob | history
Mirror of the development repository for deal.II

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.