]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1115 from drwells/use-tt-not-TT
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sat, 11 Jul 2015 08:50:03 +0000 (10:50 +0200)
committerMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sat, 11 Jul 2015 08:50:03 +0000 (10:50 +0200)
commit0f44da43f71f9f8dea32db66aa8870c9c163b57d
treefa7d04d110bb5bd351ab63713d4d034fb78bf6ee
parentf01a2b88b29b38119cecf200197d6f8c2aeeff26
parentb43b978d27842eb1f881d7957e6ade2dfc81db31
Merge pull request #1115 from drwells/use-tt-not-TT

Consistently use '<tt>', not '<TT>', so show code.

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.