diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2015-01-06 15:15:25 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2015-01-06 15:15:25 +0100 |
| commit | 7014e6f7fd1e20f7e123e9dafd6d353dc1f2155c (patch) | |
| tree | c6a9d13ce0e65da3caa641454bfc13268c559706 /mediawiki-trim | |
| parent | 1d8022a85de38e6c40c2b2c96e4e38b0e5ae5dfe (diff) | |
Really fix declare (as separate target) target for Mediawiki includes creation.
Diffstat (limited to 'mediawiki-trim')
0 files changed, 0 insertions, 0 deletions