commit | fbc46a6724558ac5cc73feac83b58098bef3da08 | [log] [tgz] |
---|---|---|
author | kmb <kmb@google.com> | Mon Feb 26 13:56:47 2018 -0800 |
committer | Ivan Gavrilovic <gavra@google.com> | Fri May 04 10:39:05 2018 +0100 |
tree | 5908c5e95e3442f419e799c76d2addf2f159940f | |
parent | dc5db10e28ac50cbd3bbbb48ff815267a82907ac [diff] |
add binary flag for core library desugaring and gate existing configuration flags by it. RELNOTES: None. PiperOrigin-RevId: 187075897 GitOrigin-RevId: cc090ed9b8544deea7a7c5cab17b263926e8c48b Change-Id: I43a2d49e45095b23fc2c1249d1d3a97274e5b089