Merge branch 'master' of ssh://haible@git.sv.gnu.org/srv/git/gnulib
[gnulib.git] / config /
drwxr-xr-x   ..
-rw-r--r-- 2208 argz.mk
-rwxr-xr-x 4393 srclist-update
-rw-r--r-- 9911 srclist.txt
-rw-r--r-- 1665 srclistvars.sh