diff website/src/manual.html.luan @ 1718:5603ee8e2a71

rename String.rep to String.repeated
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 25 Jul 2022 11:32:05 -0600
parents c637a2a1023d
children 2f3a8f16f583
line wrap: on
line diff
--- a/website/src/manual.html.luan	Mon Jul 25 11:16:53 2022 -0600
+++ b/website/src/manual.html.luan	Mon Jul 25 11:32:05 2022 -0600
@@ -2674,8 +2674,8 @@
 <%
 						end
 					}
-					["String.rep"] = {
-						title = "<code>String.rep (s, n [, sep])</code>"
+					["String.repeated"] = {
+						title = "<code>String.repeated (s, n [, sep])</code>"
 						content = function()
 %>
 <p>