-
Notifications
You must be signed in to change notification settings - Fork 0
Github mirror of "wikipedia/gadgets/ProveIt" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
wikimedia/wikipedia-gadgets-ProveIt
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
This repo has been archived. It has been superseeded by the mediawiki/gadgets/ProveIt repo at: https://gerrit.wikimedia.org/r/admin/repos/mediawiki/gadgets/ProveIt,general Reasoning for the archiving this repo are at: https://www.mediawiki.org/w/index.php?title=User_talk:QChrisNonWMF&diff=5904110&oldid=5850947
About
Github mirror of "wikipedia/gadgets/ProveIt" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
Resources
Code of conduct
Stars
Watchers
Forks
Packages 0
No packages published