colobot/colobot — pull request #363 by vieux (2014-11-04 02:22:18+00:00)
Title: change package name to colobot on MacOS and fix icon

Fix #351

I only changed for Mac, I assume it's working correctly on Linux.