diff options
author | tradke <tradke@e5a5a894-0e4f-0410-be11-d22c8b0a171a> | 2009-02-10 10:41:27 +0000 |
---|---|---|
committer | tradke <tradke@e5a5a894-0e4f-0410-be11-d22c8b0a171a> | 2009-02-10 10:41:27 +0000 |
commit | 5468af58a5e160e83047d4ab377ea48160fd08b9 (patch) | |
tree | fcf9c78c09a38887cea05ccdbf7b5164369ddec7 /src | |
parent | 868fd834a945ad1bf3cd60fd1ba00695068f5540 (diff) |
use 'verbatim' environment instead of 'Verbatim'
git-svn-id: http://svn.aei.mpg.de/numrel/AEIThorns/ManualTermination/trunk@17 e5a5a894-0e4f-0410-be11-d22c8b0a171a
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions