diff options
Diffstat (limited to '')
-rwxr-xr-x | ci-legacy/run.sh (renamed from ci/run.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/ci/run.sh b/ci-legacy/run.sh index b9e366c..b9e366c 100755 --- a/ci/run.sh +++ b/ci-legacy/run.sh |
index : rnp | ||
debian 12 backports: mozilla (thunderbird) | Progress Linux |
summaryrefslogtreecommitdiffstats |
-rwxr-xr-x | ci-legacy/run.sh (renamed from ci/run.sh) | 0 |
diff --git a/ci/run.sh b/ci-legacy/run.sh index b9e366c..b9e366c 100755 --- a/ci/run.sh +++ b/ci-legacy/run.sh |