From ec0e4fcd15aa872cc3966e4b0a689566a337b531 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrg=20Lehni?= <juerg@scratchdisk.com>
Date: Fri, 21 Aug 2015 16:38:17 +0200
Subject: [PATCH] Remove unused build options.

---
 src/options.js | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/options.js b/src/options.js
index 1099aa60..b3a17a0b 100644
--- a/src/options.js
+++ b/src/options.js
@@ -24,12 +24,9 @@ var __options = {
     version: typeof window === 'object' ? 'dev' : version,
     environment: 'browser',
     parser: 'acorn',
-    legacy: true,
     svg: true,
     fatlineClipping: true,
     booleanOperations: true,
     nativeContains: false,
-    paperScript: true,
-    palette: true,
-    debug: false
+    paperScript: true
 };