aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJohn Newbery <john@johnnewbery.com>2021-06-03 12:49:27 +0100
committerJohn Newbery <john@johnnewbery.com>2021-06-03 12:49:27 +0100
commit156a19ee6a22789adedcb6ab067c2eca2d3bfdfe (patch)
treed8d66cb9fb99b152a355f485993d2b6a700eb564 /.github
parentb03de9c7538d85b12929a62b9ec966fd3910e660 (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