summaryrefslogtreecommitdiff
path: root/users.txt
diff options
context:
space:
mode:
authorAndrei Borzenkov <arvidjaar@gmail.com>2017-03-23 19:20:41 +0300
committerBruno Haible <bruno@clisp.org>2017-03-23 21:01:14 +0100
commit683b6078961f10905baba598c469402ed0133425 (patch)
treea0810ec1fc7846a3fa9c007f0c23ef79930631a0 /users.txt
parentbd78ca3d3d7b5ec2679af1ea3d23e278c81e01d8 (diff)
downloadgnulib-683b6078961f10905baba598c469402ed0133425.tar.gz
users.txt: add grub link
Diffstat (limited to 'users.txt')
-rw-r--r--users.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/users.txt b/users.txt
index 4fa5553315..24baeec809 100644
--- a/users.txt
+++ b/users.txt
@@ -29,6 +29,7 @@ The following packages appear to be using gnulib and gnulib-tool:
https://gitlab.com/gnutls/gnutls.git
gpg https://gnupg.org/
https://git.gnupg.org/
+ grub https://git.savannah.gnu.org/cgit/grub.git
gsasl https://git.sv.gnu.org/gitweb/?p=gsasl.git
gss https://git.sv.gnu.org/gitweb/?p=gss.git
gtkreindeer https://git.sv.gnu.org/gitweb/?p=gtkreindeer.git