diff options
Diffstat (limited to 'js/Sources/RAND_f.pickle')
| -rw-r--r-- | js/Sources/RAND_f.pickle | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/js/Sources/RAND_f.pickle b/js/Sources/RAND_f.pickle index 3f839704..b5f6d8b7 100644 --- a/js/Sources/RAND_f.pickle +++ b/js/Sources/RAND_f.pickle @@ -8,20 +8,16 @@ 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 -atp11 -Rp12 +p8 +atp9 +Rp10 .(dp0 S'model.dstate' p1 |