019f8fd211
git-subtree-dir: users/wpcarro git-subtree-mainline:464bbcb15c
git-subtree-split:24f5a642af
Change-Id: I6105b3762b79126b3488359c95978cadb3efa789
7 lines
144 B
Python
7 lines
144 B
Python
import random
|
|
|
|
def shuffle(xs):
|
|
n = len(xs)
|
|
for i in range(n):
|
|
j = random.randint(i, n - 1)
|
|
xs[i], xs[j] = xs[j], xs[i]
|