share/hedgewars/Data/Maps/portal/credits.txt
changeset 14774 dd4daa216398
parent 12284 585240d3a6a8