diff options
Diffstat (limited to 'js/Misc/DSUPER.pickle')
| -rw-r--r-- | js/Misc/DSUPER.pickle | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/js/Misc/DSUPER.pickle b/js/Misc/DSUPER.pickle index 8d7d2a76..3b16c414 100644 --- a/js/Misc/DSUPER.pickle +++ b/js/Misc/DSUPER.pickle @@ -4,20 +4,16 @@ p0 ((lp1 S'needcompile' p2 -aS'ok' +aS'x' p3 -aS'exprs' +aS'model' p4 -aS'gr_i' +aS'ok' p5 aS'graphics' p6 -aS'x' -p7 -aS'model' -p8 -atp9 -Rp10 +atp7 +Rp8 .(dp0 S'bitems' p1 |