diff options
| author |  Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2018-12-05 15:01:04 +0100 |
|---|---|---|
| committer | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2018-12-05 15:01:04 +0100 |
| commit | c1d356e8b4b84fa5c7172567d5529f52191ed85b (patch) | |
| tree | b88bae3a46c61661a4c5386c48bb6ead00712537 /doc | |
| parent | b57b31cce9e86eac78d2219c976797225ac1db38 (diff) | |
bug #1635: Use infinity from Numtraits instead of creating it manually.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions