diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-08-29 11:26:25 +0300 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-08-29 11:26:25 +0300 |
| commit | bd897ce79f72a44a2e609f95433e251a3fd9eb9c (patch) | |
| tree | dc323bba6cb416c282f35ceb225ac872c07034d0 /COPYING | |
| parent | a12d9e5fd24a25bef476c10620317e43a5905754 (diff) | |
scripted-diff: Move previous_release.py to test/get_previous_releases.py
-BEGIN VERIFY SCRIPT-
OLD=contrib/devtools/previous_release.py
NEW=test/get_previous_releases.py
sed -i "s|$OLD|$NEW|g" $(git grep -l $OLD)
git mv $OLD $NEW
-END VERIFY SCRIPT-
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions