diff options
| -rwxr-xr-x | scripts/contributors.sh (renamed from contributors.sh) | 0 | ||||
| -rwxr-xr-x | scripts/contrithanks.sh (renamed from contrithanks.sh) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/contributors.sh b/scripts/contributors.sh index 0840bfab0..0840bfab0 100755 --- a/contributors.sh +++ b/scripts/contributors.sh diff --git a/contrithanks.sh b/scripts/contrithanks.sh index b7a16ca5d..b7a16ca5d 100755 --- a/contrithanks.sh +++ b/scripts/contrithanks.sh |