mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-11-15 10:59:42 +00:00
2dd30b20ab
Remove comment about using make; no Makefile Change-Id: If3f7da5a39b7c208f57a0f588c84715959e822a3 |
||
---|---|---|
.. | ||
pre-commit |