diff options
Diffstat (limited to 'config/git/grub')
| -rw-r--r-- | config/git/grub | 13 | 
1 files changed, 13 insertions, 0 deletions
| diff --git a/config/git/grub b/config/git/grub new file mode 100644 index 00000000..e48feca3 --- /dev/null +++ b/config/git/grub @@ -0,0 +1,13 @@ +{grub}{ +	rev: db1faedccdce3cf83336155a95c04a8db03744c5 +	loc: grub +	url: git://git.savannah.gnu.org/grub.git +	bkup_url: http://git.savannah.gnu.org/r/grub.git +	depend: gnulib +} + +{gnulib}{ +	rev: 9f48fb992a3d7e96610c4ce8be969cff2d61a01b +	loc: grub/gnulib +	url: git://git.sv.gnu.org/gnulib  +} | 
