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 /scripts | |
| parent | 36a23e86b6ab1265bbf883dd71bc844f7c9183f3 (diff) | |
* If std::tr1::unordered_set is unavailable, use std::set.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions