Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Interwiki.hs: annual update following http://secure.wikimedia.org/wikipe... #285

Merged
merged 1 commit into from Feb 7, 2012

Conversation

Projects
None yet
2 participants
Contributor

gwern commented Feb 6, 2012

...dia/meta/w/index.php?title=Interwiki_map&action=historysubmit&diff=3378080&oldid=2320166

jgm added a commit that referenced this pull request Feb 7, 2012

@jgm jgm merged commit cb06884 into jgm:master Feb 7, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment