portal:
* clean up obsolete code in order to remove the rare cases of wrong-sided portals
* fix formula of last commit
notice: since last commit portals can happen to move faster than 1000px/sec, I'll take care of that soon ;)
[Desktop Entry]
Type=Application
Version=1.0
Encoding=UTF-8
Name=Hedgewars
GenericName=Fighting Hedgehogs
GenericName[tr]=Worms Benzeri Strateji Oyunu
GenericName[ru]=Битвы ежей
Icon=hedgewars.png
Exec=hedgewars
Terminal=false
StartupNotify=false
Categories=Application;Game;StrategyGame;