0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #5432 from hexagonrecursion/wmllint-campaign-id-is-not-missing

Browse source 
Silence wmllint error about a missing campaign id
This commit is contained in:
Charles Dang 2021-01-15 07:11:30 +11:00 • committed by GitHub
commit 2157cf9768
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
data/campaigns/Dead_Water/_main.cfg
View file

@ -71,9 +71,12 @@
{campaigns/Dead_Water/units}
[/units]
# wmllint bug: wmllint is not smart enough to realise that the campaign already has an id
# wmllint: validate-off
[+campaign]
{ENABLE_KRAKEN}
[/campaign]
# wmllint: validate-on
{campaigns/Dead_Water/scenarios}