diff options
author | Andrei Borzenkov <arvidjaar@gmail.com> | 2017-03-23 19:20:41 +0300 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2017-03-23 21:01:14 +0100 |
commit | 683b6078961f10905baba598c469402ed0133425 (patch) | |
tree | a0810ec1fc7846a3fa9c007f0c23ef79930631a0 /users.txt | |
parent | bd78ca3d3d7b5ec2679af1ea3d23e278c81e01d8 (diff) | |
download | gnulib-683b6078961f10905baba598c469402ed0133425.tar.gz |
users.txt: add grub link
Diffstat (limited to 'users.txt')
-rw-r--r-- | users.txt | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |