diff options
Diffstat (limited to 'config/git/grub')
| -rw-r--r-- | config/git/grub | 6 | ||||
| -rw-r--r-- | config/git/grub/pkg.cfg | 3 |
2 files changed, 3 insertions, 6 deletions
diff --git a/config/git/grub b/config/git/grub deleted file mode 100644 index 21634cd6..00000000 --- a/config/git/grub +++ /dev/null @@ -1,6 +0,0 @@ -{grub}{ - rev: HEAD - loc: grub/grub - url: git://git.savannah.gnu.org/grub.git - bkup_url: https://codeberg.org/libreboot/grub -} diff --git a/config/git/grub/pkg.cfg b/config/git/grub/pkg.cfg new file mode 100644 index 00000000..ed26a766 --- /dev/null +++ b/config/git/grub/pkg.cfg @@ -0,0 +1,3 @@ +rev="HEAD" +url="git://git.savannah.gnu.org/grub.git" +bkup_url="https://codeberg.org/libreboot/grub" |