about summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-10-04T16·16+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-10-04T16·16+0000
commit95f4f2cf6102f95abf6948d74907c44c3540eddd (patch)
treef3b6c986dac065190da8a3204a0eaa9b180feabf /scripts
parent36a23e86b6ab1265bbf883dd71bc844f7c9183f3 (diff)
* If std::tr1::unordered_set is unavailable, use std::set.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions