Typeable changes to vector while waiting for the upstream to update
authorJose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Tue, 12 Feb 2013 12:02:36 +0000 (12:02 +0000)
committerJose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Tue, 12 Feb 2013 12:02:36 +0000 (12:02 +0000)
commitef4a10c4d22dd2a4c265748c19c0001c5965c151
treeb53860135da0a5867e996abce5f4731b21544619
parentfaced9bf0af8a535cb43f5e8487be1cd896df6bd
Typeable changes to vector while waiting for the upstream to update
libraries/vector