tree 9c0fbe5ebd8fe61595d29932def0c613d3dafc7e
parent b78e0e5cc5ac9fb272592b3d4d60dfe13fe58be4
author Ian Zerny <zerny@google.com> 1566285448 +0200
committer Ian Zerny <zerny@google.com> 1566285916 +0000

Remove alternative frontend flag.

Change-Id: Ibcd15cb417c944a009a496332e32e2c0e13a3d0c