# HG changeset patch # User dadubrow # Date 1279570377 18000 # Node ID 1137d8ac6923df1141821fff674164f700c29fbd # Parent 241f43d9358558235021a73ab6b361a0e78761e2 remove unneeded plugin diff -r 241f43d93585 -r 1137d8ac6923 noneclipseoss/mozilla/plugins/org.mozilla.rhino_1.6.7.jar Binary file noneclipseoss/mozilla/plugins/org.mozilla.rhino_1.6.7.jar has changed