wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-24 07:34:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Remove unused Makefile variable "DIRS""

Browse source
This commit is contained in:
jenkins-bot 2016-12-25 14:28:38 +00:00 committed by Gerrit Code Review
parent 352abc726f a98ebf457c
commit 922149ac83
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -1,5 +1,3 @@
DIRS = texvc texvccheck
.PHONY: all texvccheck
all: texvc texvccheck