diff options
author | lovetox <philipp@hoerist.com> | 2022-05-30 08:47:32 +0300 |
---|---|---|
committer | lovetox <philipp@hoerist.com> | 2022-05-30 08:52:33 +0300 |
commit | 38b0f471d8867fdddd037edd1f429e7f7cb95c8a (patch) | |
tree | 68be1cf6051c188cf9fe1dec29c1ab460478a9f4 /scripts | |
parent | be8659e734f58794aff81b66818822d7085807ee (diff) |
chore: Remove scripts/dev folder
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/pre-push-tests.sh (renamed from scripts/dev/pre-push-tests.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/dev/pre-push-tests.sh b/scripts/pre-push-tests.sh index 562065f13..562065f13 100755 --- a/scripts/dev/pre-push-tests.sh +++ b/scripts/pre-push-tests.sh |