]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43fa9af) | patch
Mark 'Possibilities for extensions' as <h3>. 9248/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 7 Jan 2020 15:54:46 +0000 (08:54 -0700)
committerWolfgang Bangerth <bangerth@colostate.edu>
Tue, 7 Jan 2020 15:54:46 +0000 (08:54 -0700)
commit8593d862e2972a579ef7af093bfbd8c0761cf523
tree7aaf020458ef1d7177b221d11ff11e963c1504f8tree | snapshot
parent43fa9afcabe4403f7413b321cd2c01e778f2390dcommit | diff
Mark 'Possibilities for extensions' as <h3>.

Otherwise, our scripts don't pick these headings up and it won't show
in the table of contents.
examples/step-3/doc/results.dox diff | blob | history
examples/step-36/doc/results.dox diff | 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.