diff options
author | John Newbery <john@johnnewbery.com> | 2021-06-03 12:49:27 +0100 |
---|---|---|
committer | John Newbery <john@johnnewbery.com> | 2021-06-03 12:49:27 +0100 |
commit | 156a19ee6a22789adedcb6ab067c2eca2d3bfdfe (patch) | |
tree | d8d66cb9fb99b152a355f485993d2b6a700eb564 /.github | |
parent | b03de9c7538d85b12929a62b9ec966fd3910e660 (diff) |
scripted-diff: rename nPeersWithValidatedDownloads
-BEGIN VERIFY SCRIPT-
ren() { sed -i "s:\<$1\>:$2:g" $(git grep -l "\<$1\>" ./src ./test); }
ren nPeersWithValidatedDownloads m_peers_downloading_from
-END VERIFY SCRIPT-
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions