summaryrefslogtreecommitdiff
path: root/users.txt
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-08-12 12:50:51 +0000
committerKarl Berry <karl@freefriends.org>2006-08-12 12:50:51 +0000
commitca567ad22bd8039db564d3e4916bf0d20e75d1ba (patch)
tree20145b1415bcdef2fbc591ee56d828495944ad8b /users.txt
parentafc41a65bdd645e58b3f4d1929a661afd9c5e693 (diff)
downloadgnulib-ca567ad22bd8039db564d3e4916bf0d20e75d1ba.tar.gz
texinfo
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 f760bc3f91..2689cb71bf 100644
--- a/users.txt
+++ b/users.txt
@@ -28,6 +28,7 @@ The following packages appear to be using gnulib and gnulib-tool:
pspp http://cvs.savannah.gnu.org/viewcvs/pspp/?root=pspp
shishi http://josefsson.org/cgi-bin/viewcvs.cgi/shishi/
tar http://cvs.savannah.gnu.org/viewcvs/tar/?root=tar
+ texinfo http://cvs.savannah.gnu.org/viewcvs/tar/?root=texinfo
The following packages appear to be using gnulib without gnulib-tool: