diff options
| author | TheCharlatan <seb.kung@gmail.com> | 2024-01-24 14:12:33 +0100 |
|---|---|---|
| committer | TheCharlatan <seb.kung@gmail.com> | 2024-02-15 14:45:51 +0100 |
| commit | 06069b3913dda048f5d640a662b0852f86346ace (patch) | |
| tree | e27a51702495364ef686f3e9b1d9b83d269196b3 /ci/retry | |
| parent | 0d6d2b650d1017691f48c9109a6cd020ab46aa73 (diff) | |
scripted-diff: Rename MainSignals to ValidationSignals
-BEGIN VERIFY SCRIPT-
s() { git grep -l "$1" src | xargs sed -i "s/$1/$2/g"; }
s 'CMainSignals' 'ValidationSignals'
s 'MainSignalsImpl' 'ValidationSignalsImpl'
-END VERIFY SCRIPT-
Diffstat (limited to 'ci/retry')
0 files changed, 0 insertions, 0 deletions