| commit | 6e4519be21f803f6103e734140c02e88c0299d10 | [log] [tgz] |
|---|---|---|
| author | James Molloy <jmolloy@google.com> | Fri Aug 03 03:51:38 2018 -0700 |
| committer | jpienaar <jpienaar@google.com> | Fri Mar 29 12:54:24 2019 -0700 |
| tree | 1a967b24193d7bb8585f1a65bd9a0da9c09b3694 | |
| parent | f0d2f448fd9b8b11d489e5da10d88e969e6c35a2 [diff] |
[mlir] Correctly indent block terminators These were non-indented, which I thought was deliberate until Chris corrected me in cl/207115253 :) PiperOrigin-RevId: 207246887