tree 029e2a9cfc6c56e0fc1f9945e2bcaaf1832a2db1
parent 3576c62c5b5ef6998bf0799f70b3e419bfded41b
author Marc Kupietz <kupietz@ids-mannheim.de> 1699170757 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1699170757 +0100

Use tabular nums in dd/dt

Change-Id: I3a6d820e4d43ca2baf26d61dec23c49f27fc2ebf