| commit | 43d23b0ecccae0ae7f5fe2501dded5546de2497b | [log] [tgz] |
|---|---|---|
| author | Willy Tu <wltu@google.com> | Wed Apr 26 07:18:13 2023 -0700 |
| committer | Willy Tu <wltu@google.com> | Tue Aug 22 20:32:12 2023 +0000 |
| tree | e00243f5e6ecd32e7aa27b5f0756ec6d2b0eced7 | |
| parent | ff35e7c12065ab9e6b807658440be63a126aecbd [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)