share/hedgewars/Data/Maps/portal/credits.txt
author nemo
Fri, 18 May 2018 09:57:24 -0400
changeset 13401 a52b8b8cbac4
parent 12284 585240d3a6a8
permissions -rw-r--r--
merge this in too

sphrix