tree 10a21e50437ff055d359a7dfe9034f3cb971902b
parent eb56ee5a28b41fcc244205cc18ff7847f7c6b7bc
parent f8e9b3767ff868cd1a3d2c845004313003956754
author Gennadiy Civil <misterg@google.com> 1567090369 -0400
committer Gennadiy Civil <misterg@google.com> 1567090369 -0400

Merge pull request #2420 from kuzkry:remove-autotools-section

PiperOrigin-RevId: 265973494