Remove Duktape

Now that none of the official extensions are using it. (cherry picked from commit 324ae3fcfb)
2022-08-17 22:23:05 -04:00
parent 39e0d7f4e8
commit a24832f4db
2 changed files with 1 additions and 4 deletions
@@ -78,7 +78,6 @@
 -keep,allowoptimization class okio.** { public protected *; }
 -keep,allowoptimization class rx.** { public protected *; }
 -keep,allowoptimization class org.jsoup.** { public protected *; }
-keep,allowoptimization class com.squareup.duktape.** { public protected *; }
 -keep,allowoptimization class app.cash.quickjs.** { public protected *; }
 -keep,allowoptimization class uy.kohesive.injekt.** { public protected *; }