From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 15 Nov 2021 18:53:29 +0000 (-0500)
Subject: mjo/**/*.py: drop obsolete set_random_seed().
X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;ds=sidebyside;h=928b7d49fda98ff105c92293b5797bb7a2b9873a;hp=928b7d49fda98ff105c92293b5797bb7a2b9873a;p=sage.d.git

mjo/**/*.py: drop obsolete set_random_seed().

We use a random random seed by default now finally.
---