commit | 0c5616df9c0aaa44c9440d87422012423d91c7d1 | [log] [tgz] |
---|---|---|
author | Paul Wankadia <junyer@google.com> | Wed Mar 30 18:33:17 2022 |
committer | Paul Wankadia <junyer@google.com> | Wed Mar 30 18:41:25 2022 |
tree | ce2f1207e00e93604db95c340839f1bfdfb3c2aa | |
parent | 248b65f44d9145261328f8b5831a597f6eef7826 [diff] |
Replace `StdIntMap` with `std::vector<int>`. Change-Id: I877f3a8b363807cf96c66ba978c6c6cc6bd0688e Reviewed-on: https://code-review.googlesource.com/c/re2/+/60010 Reviewed-by: Justin Lebar <jlebar@google.com> Reviewed-by: Paul Wankadia <junyer@google.com>