updated Info.plist

merge with 0.9.18

small it.txt update

this should fix the highlighting failz with non-lowercase player names like the one CheezeMonkey ran into. there is a workaround: in the user dir put the playername in <playerNameWithCorrectCase>_highlight.txt

Added tag 0.9.18-release for changeset 2f203395baca

!@#$

add missing cmakelists.txt, move portal mission graphic to correct dir

merge trunk w/ final 0.9.18

merge w/ trunk

update lua loc, adjust cleaver in ammo sets

portal challenge

birthday style

- Fix for little mistakes (applied to every hedgewars_*.ts file). - Full hedgewars_pt_PT.ts and pt_PT.txt Portuguese (Portugal) translation. - Partial pt_PT.lua translation.

Update ai actions tracing subsystem

Fix white background in players list on halloween, christmas and easter

Merge from default

Clear in-game flag when user joins room

libav name refactor

another stake at variable pre-initialisation - we lost preview logging in the course

apparently an older version was provided earlier and this one is newer and theoretically desync free. untested.

fix hat names. more efficient killing off of limited hogs (takes too long to wait otherwise)

new script specialising in altering weapon behaviour

merge from stable

polish language update (+ closes issue #322)

consistent line endings

consistent line endings

fix reserved hats from scripting

fix reserved hats from scripting

remove cleaver gradient

remove cleaver gradient