diff options
Diffstat (limited to 'third_party/git/contrib/mw-to-git/git-remote-mediawiki.txt')
| -rw-r--r-- | third_party/git/contrib/mw-to-git/git-remote-mediawiki.txt | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/third_party/git/contrib/mw-to-git/git-remote-mediawiki.txt b/third_party/git/contrib/mw-to-git/git-remote-mediawiki.txt deleted file mode 100644 index 5da825f61e20..000000000000 --- a/third_party/git/contrib/mw-to-git/git-remote-mediawiki.txt +++ /dev/null @@ -1,7 +0,0 @@ -Git-Mediawiki is a project which aims the creation of a gate -between git and mediawiki, allowing git users to push and pull -objects from mediawiki just as one would do with a classic git -repository thanks to remote-helpers. - -For more information, visit the wiki at -https://github.com/Git-Mediawiki/Git-Mediawiki |