est31 b8a8be9c86 Nicer time setting logging ...

Now logs

ACTION[ServerThread]: player sets time to 6:03

instead of

ACTION[ServerThread]: player sets time to 6:3

2015-06-02 06:49:05 +02:00

..

async

Use "core" namespace internally

2014-05-08 13:02:04 -04:00

common

Fix wrong replace from previous commit

2015-06-02 00:20:12 +02:00

fstk

Add tooltips to main menu subgames button bar

2014-11-09 09:38:43 +01:00

game

Nicer time setting logging

2015-06-02 06:49:05 +02:00

mainmenu

Add core.get_dir_list

2015-05-16 18:33:22 -04:00

init.lua

Add strict module

2014-11-19 12:40:54 -05:00