commit | fab21f8d2c272bcdee42b7494905a91a115bef4b | [log] [tgz] |
---|---|---|
author | Willy Tu <wltu@google.com> | Wed Apr 26 07:18:13 2023 -0700 |
committer | Willy Tu <wltu@google.com> | Wed Apr 26 14:25:01 2023 +0000 |
tree | 67cd5e00ef1c9351019966b41442169fd000fc70 | |
parent | b87ab2f7823211beebbfef4c0a3214f58651290a [diff] |
exprtk: remove target branch exprtk rewrites the history often and cannot gurantee that github will always have the orphan commits. Move to the internal mirror without branch target instead. Change-Id: I174d4eb85e188279fac3d2c66d93c01e0f2c6f3b Signed-off-by: Willy Tu <wltu@google.com> (cherry picked from commit 45a8c2e27f4384b07e120308df81f4bf72e36727)