diff options
Diffstat (limited to 'js/Misc/AUTOMAT.pickle')
| -rw-r--r-- | js/Misc/AUTOMAT.pickle | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/Misc/AUTOMAT.pickle b/js/Misc/AUTOMAT.pickle index f6d0160b..a8be270d 100644 --- a/js/Misc/AUTOMAT.pickle +++ b/js/Misc/AUTOMAT.pickle @@ -172,7 +172,7 @@ p56 g2 sS'model' p57 -g2 +g8 sS'imax' p58 Ns.
\ No newline at end of file |