asie 77928a3d65 fix dedicated server registry handling bug		2019-01-26 14:44:59 +01:00
..
main	fix dedicated server registry handling bug	2019-01-26 14:44:59 +01:00
test	mark 0.1.5, compilation fixes, naming tweaks	2019-01-26 00:00:39 +01:00