| commit | 8874f0a007af9ce1e68282498c49259f6c7502c2 | [log] [tgz] |
|---|---|---|
| author | Willy Tu <wltu@google.com> | Wed Apr 26 07:18:13 2023 -0700 |
| committer | Vivekanand Veeracholan <vveerach@google.com> | Wed Jul 05 06:36:00 2023 +0000 |
| tree | 98fa8d4be07403ecf89bfe5581457c4d9cc23a98 | |
| parent | 1a0849801e7b95f02cec172cae47792dc0904e8f [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)