git-remote-mediawiki: more efficient 'pull' in the best case
[gitweb.git] / contrib / mw-to-git /
drwxr-xr-x   parent (dest: contrib; base: 5a29217dda0625707a46f527d17489c0bff0c2c9)
-rw-r--r-- 1225 Makefile
-rwxr-xr-x 39627 git-remote-mediawiki
-rw-r--r-- 312 git-remote-mediawiki.txt
drwxr-xr-x - t