diff options
author | Matthew Vernon <matthew@debian.org> | 2018-07-21 14:47:53 +0100 |
---|---|---|
committer | Matthew Vernon <matthew@debian.org> | 2018-07-21 14:47:53 +0100 |
commit | 1f2b7893cf58a1c1e9a15b1ccffc351a13e6f04d (patch) | |
tree | ebb93825bc65b9ffd818930138636abbf8a5b857 /doc | |
parent | 703e70453fddd50f9fd8e729e025b9bec408f711 (diff) |
patch from Matthias Klose to make one more STL symbol as optional
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions