Carl Dong
f0a2fb3c5d
scripted-diff: Rename pindexBestHeader, fHavePruned
...to m_best_header and m_have_pruned
-BEGIN VERIFY SCRIPT-
find_regex="\bpindexBestHeader\b" \
&& git grep -l -E "$find_regex" -- src \
| xargs sed -i -E "s@$find_regex@m_best_header@g"
find_regex="\bfHavePruned\b" \
&& git grep -l -E "$find_regex" -- src \
| xargs sed -i -E "s@$find_regex@m_have_pruned@g"
-END VERIFY SCRIPT-
2022-04-19 14:36:18 -04:00
..
2022-04-19 14:36:18 -04:00
2022-04-19 14:34:56 -04:00
2022-03-29 16:37:47 -04:00
2018-07-27 07:15:02 -04:00
2022-04-04 09:01:19 +01:00
2022-04-04 09:01:19 +01:00
2022-03-11 17:46:58 +01:00
2022-04-05 13:05:14 +02:00
2020-06-01 15:08:36 +02:00
2022-04-06 13:19:36 +01:00
2022-04-04 09:01:19 +01:00
2021-12-30 19:36:57 +02:00
2022-01-26 15:10:44 +01:00
2021-12-30 19:36:57 +02:00
2022-03-31 11:46:20 +02:00
2022-03-17 08:42:14 +01:00
2022-02-03 18:35:52 +08:00
2021-12-30 19:36:57 +02:00
2022-01-06 22:14:16 -05:00
2022-01-06 22:14:16 -05:00
2022-04-04 09:01:19 +01:00
2021-12-30 19:36:57 +02:00
2022-04-04 09:01:19 +01:00
2022-04-06 15:37:07 +02:00
2022-03-24 14:30:13 +01:00