mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2025-01-19 08:26:05 +00:00
2dd30b20ab
Remove comment about using make; no Makefile Change-Id: If3f7da5a39b7c208f57a0f588c84715959e822a3 |
||
---|---|---|
.. | ||
pre-commit |