Add forgotten doc

This commit is contained in:
guy committed 2021-02-27 15:00:58 -06:00
1 parent 28ca878a9f
commit f102962ffa
1 file changed
+3
+3
View File
@@ -1786,6 +1786,9 @@ movetowards(goal)
self notify("completed_move_to");
}
/*
Bots do the mantle
*/
doMantle()
{
self endon("disconnect");