diff options
| -rwxr-xr-x | community/gawk/build (renamed from extra/gawk/build) | 0 | ||||
| -rw-r--r-- | community/gawk/checksums (renamed from extra/gawk/checksums) | 0 | ||||
| -rw-r--r-- | community/gawk/meta (renamed from extra/gawk/meta) | 0 | ||||
| -rw-r--r-- | community/gawk/sources (renamed from extra/gawk/sources) | 0 | ||||
| -rw-r--r-- | community/gawk/version (renamed from extra/gawk/version) | 0 |
5 files changed, 0 insertions, 0 deletions
diff --git a/extra/gawk/build b/community/gawk/build index ba2adac0..ba2adac0 100755 --- a/extra/gawk/build +++ b/community/gawk/build diff --git a/extra/gawk/checksums b/community/gawk/checksums index 10ed366c..10ed366c 100644 --- a/extra/gawk/checksums +++ b/community/gawk/checksums diff --git a/extra/gawk/meta b/community/gawk/meta index c657ec57..c657ec57 100644 --- a/extra/gawk/meta +++ b/community/gawk/meta diff --git a/extra/gawk/sources b/community/gawk/sources index 0a927a37..0a927a37 100644 --- a/extra/gawk/sources +++ b/community/gawk/sources diff --git a/extra/gawk/version b/community/gawk/version index 8f0e3266..8f0e3266 100644 --- a/extra/gawk/version +++ b/community/gawk/version |