gnulib-tool.py: Handle module dependencies that cannot be found.master
[gnulib.git] / top / 
tree12aee33820fd4fff7ba8a6f6087bda97617198dd
drwxr-xr-x   ..
-rw-r--r-- 4589 GNUmakefile
-rw-r--r-- 3082 README-release
-rwxr-xr-x 1650 autogen.sh
-rwxr-xr-x 1506 autopull.sh
-rwxr-xr-x 9168 bootstrap
-rw-r--r-- 44428 bootstrap-funclib.sh
-rw-r--r-- 136 gen-bootstrap.sed
-rwxr-xr-x 16929 gitsub.sh
-rw-r--r-- 70499 maint.mk