config: add `git_die_config()` to the config-set API
[gitweb.git] / contrib / mw-to-git / Git /
drwxr-xr-x   parent (dest: contrib/mw-to-git; base: 5a80e97c827e9d73884dbe4119bf97f6dd84b237)
-rw-r--r-- 2664 Mediawiki.pm