From 9cc841bc1c51f089c5f403a75f9e054f2faacf70 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jean-Fran=C3=A7ois=20Geyelin?= Date: Tue, 6 Jul 2021 11:52:35 +0200 Subject: [PATCH] Remove spurious character that was breaking documentation. --- docs/raw_documentation.js | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/raw_documentation.js b/docs/raw_documentation.js index 5bff947..6814cc7 100644 --- a/docs/raw_documentation.js +++ b/docs/raw_documentation.js @@ -414,8 +414,7 @@ var documentation = [ }, ], "func_name":"set_player_ship_speed", -"comment":"Sets and returns the **effective speed** of the specified player ship as a function of the **base speed** of the ship. By default, a player ship moves according to its base speed, which is 10 distance units per tick (in the future, different ships may have different base speeds). -Assuming the base speed of the ship is S, the new effective speed will be `(factor*S)+offset`. `duration` is the number of ticks during which the effective speed will be applied. Afterwards, the ship's speed reverts to its base speed. If `duration` is negative, the effective speed never reverts to the base speed.", +"comment":"Sets and returns the **effective speed** of the specified player ship as a function of the **base speed** of the ship. By default, a player ship moves according to its base speed, which is 10 distance units per tick (in the future, different ships may have different base speeds). Assuming the base speed of the ship is S, the new effective speed will be `(factor*S)+offset`. `duration` is the number of ticks during which the effective speed will be applied. Afterwards, the ship's speed reverts to its base speed. If `duration` is negative, the effective speed never reverts to the base speed.", "parameters": [ { "name":"ship_id",