Merge branch 'master' of ssh://karl@git.sv.gnu.org/srv/git/gnulib
[pspp] / config /
drwxr-xr-x   ..
-rwxr-xr-x 4395 srclist-update
-rw-r--r-- 9750 srclist.txt
-rw-r--r-- 1665 srclistvars.sh