]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
projects / sage.d.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 928b7d4)
mjo/**/*.py: drop obsolete set_random_seed().
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 15 Nov 2021 18:53:29 +0000 (13:53 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 15 Nov 2021 18:53:29 +0000 (13:53 -0500)
We use a random random seed by default now finally.


No differences found
My personal library of Sage code.