diff options
Diffstat (limited to 'js/Misc/DEBUG.pickle')
| -rw-r--r-- | js/Misc/DEBUG.pickle | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/js/Misc/DEBUG.pickle b/js/Misc/DEBUG.pickle index 03123225..88e6f456 100644 --- a/js/Misc/DEBUG.pickle +++ b/js/Misc/DEBUG.pickle @@ -46,7 +46,7 @@ p12 g9 sS'tt' p13 -S'vector' +S'vector_string' p14 sS'graphics.exprs' p15 @@ -55,22 +55,23 @@ p16 g3 sS'gr_i' p17 -g14 -sS'graphics' +S'vector' p18 +sS'graphics' +p19 g9 sS'y' -p19 -g14 -sS'x' p20 -NsS'model' +g18 +sS'x' p21 +NsS'model' +p22 g9 sS'typ' -p22 -g14 -sS'warnMode' p23 +g18 +sS'warnMode' +p24 g11 s.
\ No newline at end of file |