diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2019-01-29 20:00:45 +0100 |
|---|---|---|
| committer | Matthias Krüger <matthias.krueger@famsik.de> | 2019-01-29 20:00:45 +0100 |
| commit | 246b9e7aede03dc3a3f12f2a9585d6097e112e95 (patch) | |
| tree | c702ebac7dd0f55c3d533592f46c6334a95a82bb | |
| parent | 3d646f6a4d672e618d5d4ff66a0f4cdd560f111b (diff) | |
| download | rust-246b9e7aede03dc3a3f12f2a9585d6097e112e95.tar.gz rust-246b9e7aede03dc3a3f12f2a9585d6097e112e95.zip | |
fetch_prs_between: add .sh file ending
| -rwxr-xr-x | util/fetch_prs_between.sh (renamed from util/fetch_prs_between) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/util/fetch_prs_between b/util/fetch_prs_between.sh
index dbe73b1ba98..dbe73b1ba98 100755
--- a/util/fetch_prs_between
+++ b/util/fetch_prs_between.sh
|