diff options
Diffstat (limited to 'config/git/grub')
-rw-r--r-- | config/git/grub | 14 | ||||
-rw-r--r-- | config/git/grub/pkg.cfg | 3 |
2 files changed, 3 insertions, 14 deletions
diff --git a/config/git/grub b/config/git/grub deleted file mode 100644 index b52fa0fb..00000000 --- a/config/git/grub +++ /dev/null @@ -1,14 +0,0 @@ -{grub}{ - rev: 8719cc2040368d43ab2de0b6e1b850b2c9cfc5b7 - loc: grub - url: git://git.savannah.gnu.org/grub.git - bkup_url: https://codeberg.org/libreboot/grub - depend: gnulib -} - -{gnulib}{ - rev: 9f48fb992a3d7e96610c4ce8be969cff2d61a01b - loc: grub/gnulib - url: git://git.sv.gnu.org/gnulib - bkup_url: https://codeberg.org/libreboot/gnulib -} 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" |