nemo [Mon, 23 Oct 2017 11:49:32 -0400] rev 1099
remove line number
Wuzzy [Mon, 23 Oct 2017 16:46:30 +0100] rev 1098
EngineProtocol: Fix fake MapGen link
Wuzzy [Mon, 23 Oct 2017 16:42:59 +0100] rev 1097
EngineProtocol: fix curly brace
Wuzzy [Mon, 23 Oct 2017 16:41:34 +0100] rev 1096
EngineProtocol: Tweak formatting
nemo [Mon, 23 Oct 2017 11:38:46 -0400] rev 1095
this should say seed too
nemo [Mon, 23 Oct 2017 10:03:55 -0400] rev 1094
oh, what the heck, include a utf-8 string to make the point.
nemo [Mon, 23 Oct 2017 10:01:59 -0400] rev 1093
elaborate that string can be of variable length
nemo [Mon, 23 Oct 2017 09:48:46 -0400] rev 1092
fix some inaccuracy/missing information wrt seeds.
Wuzzy [Mon, 23 Oct 2017 02:34:08 +0100] rev 1091
TODO: ai hogs now use timebox
Wuzzy [Sat, 21 Oct 2017 14:34:31 +0100] rev 1090
Translations: fix typo