diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-04T16·16+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-04T16·16+0000 |
| commit | 95f4f2cf6102f95abf6948d74907c44c3540eddd (patch) | |
| tree | f3b6c986dac065190da8a3204a0eaa9b180feabf /doc/manual/Makefile.am | |
| parent | 36a23e86b6ab1265bbf883dd71bc844f7c9183f3 (diff) | |
* If std::tr1::unordered_set is unavailable, use std::set.
Diffstat (limited to 'doc/manual/Makefile.am')
0 files changed, 0 insertions, 0 deletions