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

Merge pull request #34 from groggydice/change

Browse source 
summarize wmllint changes and add myself to credits
This commit is contained in:
Alexander van Gessel 2013-06-24 04:33:17 -07:00
commit 6013dcbbd6
2 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
changelog
View file

@ -78,6 +78,9 @@ Version 1.11.4+dev:
* Prevent unchecked memory access in cut_surface()
* Remove game controllers: new and abstract. Were never properly implemented.
* Remove --new-syntax command line option. Was never properly implemented.
* Several wmllint additions: remove backslashes and userdata/ from paths, convert
data/campaigns/ to data/add-ons/, give more detailed message for color spec to
Pango fix-up, delete files on Windows before rename.
Version 1.11.4:
* AI:

4
data/core/about.cfg
View file

@ -1008,6 +1008,10 @@
name = "gh0st"
comment = "2012 Google Code-in Students' Micro AI development"
[/entry]
[entry]
name = "Groggy Dice (groggydice)"
comment = "wmllint enhancements"
[/entry]
[entry]
name = "Hans-Joachim Gurt (HaJo)"
[/entry]