diff options
Diffstat (limited to 'js/Misc/DIFF_f.pickle')
| -rw-r--r-- | js/Misc/DIFF_f.pickle | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/js/Misc/DIFF_f.pickle b/js/Misc/DIFF_f.pickle index 0d1dde24..59a4988d 100644 --- a/js/Misc/DIFF_f.pickle +++ b/js/Misc/DIFF_f.pickle @@ -4,6 +4,10 @@ p0 ((lp1 S'x' p2 -atp3 -Rp4 +aS'x0' +p3 +aS'xd0' +p4 +atp5 +Rp6 .
\ No newline at end of file |