submodules: add helper to determine if a submodule is populated
[gitweb.git] / ci /
drwxr-xr-x   parent (dest: ; base: 5688c28d81e9103a234efeedcb0568c2c4dd0bfb)
-rwxr-xr-x 213 test-documentation.sh