diff options
| -rwxr-xr-x | extra/grub/build (renamed from core/grub/build) | 0 | ||||
| -rw-r--r-- | extra/grub/checksums (renamed from core/grub/checksums) | 0 | ||||
| -rw-r--r-- | extra/grub/depends (renamed from core/grub/depends) | 0 | ||||
| -rw-r--r-- | extra/grub/files/grub.default (renamed from core/grub/files/grub.default) | 0 | ||||
| -rw-r--r-- | extra/grub/sources (renamed from core/grub/sources) | 0 | ||||
| -rw-r--r-- | extra/grub/version (renamed from core/grub/version) | 0 |
6 files changed, 0 insertions, 0 deletions
diff --git a/core/grub/build b/extra/grub/build index 10513bf0..10513bf0 100755 --- a/core/grub/build +++ b/extra/grub/build diff --git a/core/grub/checksums b/extra/grub/checksums index 43950510..43950510 100644 --- a/core/grub/checksums +++ b/extra/grub/checksums diff --git a/core/grub/depends b/extra/grub/depends index b37ce94a..b37ce94a 100644 --- a/core/grub/depends +++ b/extra/grub/depends diff --git a/core/grub/files/grub.default b/extra/grub/files/grub.default index a8c6ab34..a8c6ab34 100644 --- a/core/grub/files/grub.default +++ b/extra/grub/files/grub.default diff --git a/core/grub/sources b/extra/grub/sources index 3c08ed68..3c08ed68 100644 --- a/core/grub/sources +++ b/extra/grub/sources diff --git a/core/grub/version b/extra/grub/version index 621313cd..621313cd 100644 --- a/core/grub/version +++ b/extra/grub/version |