diff options
Diffstat (limited to 'js/Sources/RAND_m.pickle')
| -rw-r--r-- | js/Sources/RAND_m.pickle | 18 |
1 files changed, 7 insertions, 11 deletions
diff --git a/js/Sources/RAND_m.pickle b/js/Sources/RAND_m.pickle index d4f91cd6..621e5395 100644 --- a/js/Sources/RAND_m.pickle +++ b/js/Sources/RAND_m.pickle @@ -8,22 +8,18 @@ aS'b' p3 aS'seed_c' p4 -aS'exprs' -p5 aS'flag' -p6 -aS'gr_i' -p7 +p5 aS'graphics' -p8 +p6 aS'x' -p9 +p7 aS'model' -p10 +p8 aS'typ' -p11 -atp12 -Rp13 +p9 +atp10 +Rp11 .(dp0 S'model.dstate' p1 |