summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/luatex/lualibs/lualibs-util-tab.lua
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-09-03 21:12:52 +0000
committerKarl Berry <karl@freefriends.org>2020-09-03 21:12:52 +0000
commit73ab824a00bda843072a3ba3bf0bcdaefa0baab2 (patch)
treea784c049e1302701c0e164a6f1cd71e968145648 /Master/texmf-dist/tex/luatex/lualibs/lualibs-util-tab.lua
parent9d1a5a182186b6230cba2623f532a5ee560c3934 (diff)
lualibs (3sep20)
git-svn-id: svn://tug.org/texlive/trunk@56259 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/luatex/lualibs/lualibs-util-tab.lua')
-rw-r--r--Master/texmf-dist/tex/luatex/lualibs/lualibs-util-tab.lua9
1 files changed, 9 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/luatex/lualibs/lualibs-util-tab.lua b/Master/texmf-dist/tex/luatex/lualibs/lualibs-util-tab.lua
index 4dafb2acd65..9f7112eb915 100644
--- a/Master/texmf-dist/tex/luatex/lualibs/lualibs-util-tab.lua
+++ b/Master/texmf-dist/tex/luatex/lualibs/lualibs-util-tab.lua
@@ -961,3 +961,12 @@ function table.ordered(t)
return function() end
end
end
+
+-- function table.randomremove(t,n)
+-- if not n then
+-- n = #t
+-- end
+-- if n > 0 then
+-- return remove(t,random(1,n))
+-- end
+-- end