diff options
-rw-r--r-- | scripts/distbuild-cluster.py (renamed from release/distbuild-cluster.py) | 0 | ||||
-rw-r--r-- | scripts/do-release.py (renamed from release/do-release.py) | 0 | ||||
-rw-r--r-- | scripts/licensecheck.pl (renamed from licensecheck.pl) | 0 | ||||
-rwxr-xr-x | scripts/licensecheck.sh (renamed from licensecheck.sh) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/release/distbuild-cluster.py b/scripts/distbuild-cluster.py index 2d0e64d3..2d0e64d3 100644 --- a/release/distbuild-cluster.py +++ b/scripts/distbuild-cluster.py diff --git a/release/do-release.py b/scripts/do-release.py index e11e6625..e11e6625 100644 --- a/release/do-release.py +++ b/scripts/do-release.py diff --git a/licensecheck.pl b/scripts/licensecheck.pl index 180e8989..180e8989 100644 --- a/licensecheck.pl +++ b/scripts/licensecheck.pl diff --git a/licensecheck.sh b/scripts/licensecheck.sh index a39e62da..a39e62da 100755 --- a/licensecheck.sh +++ b/scripts/licensecheck.sh |