diff options
author | 2018-08-31 10:59:48 -0700 | |
---|---|---|
committer | 2018-08-31 11:04:34 -0700 | |
commit | df753323a22cc4a58a26275b52ce2cd636350813 (patch) | |
tree | 78d1c4c3bdded2baddb90f5313eb2adb8c2120b4 /configure.py | |
parent | ec7c5bf160c5216b322b65a298b1f83aae1c7d32 (diff) |
Alias gtl::optional to absl::optional and remove the old implementation.
PiperOrigin-RevId: 211110958
Diffstat (limited to 'configure.py')
0 files changed, 0 insertions, 0 deletions