mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-11-12 01:08:55 +00:00
Remove unused Makefile variable "DIRS"
Change-Id: I72eb49e2c0c1bd3afd0e3f76bb596fa87d10dc2b
This commit is contained in:
parent
5939ee17fa
commit
a98ebf457c